Did you mean: automata

search result

Cover von Special issue on commonsense and nonmonotonic reasoning
Search for this author
Year: 1995
Publisher: Boston, Kluwer
Series: Journal of automated reasoning : 15. 1995, 1
Media group: SPECIAL ISSUE
Cover von Special issue on commonsense and nonmonotonic reasoning
Search for this author
Year: 1995
Publisher: Boston, Kluwer
Series: Journal of automated reasoning : 14. 1995, 1
Media group: SPECIAL ISSUE
Cover von System verification
special issue
Search for this author
Year: 1989
Publisher: Dordrecht, Kluwer
Series: Journal of automated reasoning : 5. 1989, 4
Media group: SPECIAL ISSUE
Cover von Special issue section on software architecture recovery; 2
S. 199-339
Search for this author
Year: 2006
Publisher: Berlin, Springer
Count: 2
Series: Automated Software Engineering; 13. 2006, 2
Media group: SPECIAL ISSUE
Cover von SAT 2005
satisfiability research in the year 2005
Search for this author
Year: 2006
Publisher: Berlin, Springer
Series: Journal of automated reasoning : Reprint; 35. 2005, 1-3
Media group: MONOGRAPHIE
OPEN V 11.1.0.0