Did you mean: automata

search result

Cover von Automated theorem proving in software engineering
Author: Schumann, Johann M. Search for this author
Year: 2001
Publisher: Berlin, Springer
Media group: MONOGRAPHIE
Cover von Advances in logic through automated reasoning; 2
special issue : S. 89 - 225
Search for this author
Year: 2001
Publisher: Boston, Kluwer
Count: 2
Media group: SPECIAL ISSUE
Cover von The CADE-13 automated theorem proving system competition
special issue
Search for this author
Year: 1997
Publisher: Dordrecht, Kluwer
Series: Journal of automated reasoning : 18. 1997, 2
Media group: SPECIAL ISSUE
Cover von Special issue on automated reasoning with analytic tableaux
part II
Search for this author
Year: 1994
Publisher: Dordrecht, Kluwer
Series: Journal of automated reasoning : 13. 1994, 3
Media group: SPECIAL ISSUE
Cover von Special issue on automated reasoning with analytic tableaux
part 1
Search for this author
Year: 1994
Publisher: Dordrecht, Kluwer
Series: Journal of automated reasoning : 13. 1994, 2
Media group: SPECIAL ISSUE
Cover von 13th IEEE international conference on automated software engineering
proceedings ; October 13 - 16, 1998, Honolulu, Hawaii
Search for this author
Year: 1998
Publisher: Los Alamitos, IEEE
Media group: KONGRESSBERICHT
Cover von 12th IEEE international conference on automated software engineering
proceedings, November 1 - 5, 1997, Incline Village, Nevada, USA
Search for this author
Year: 1997
Publisher: Los Alamitos, IEEE
Media group: KONGRESSBERICHT
Cover von 10th international conference on automated deduction
Kaiserslautern, FRG, July 24 - 27, 1990 : proceedings
Search for this author
Year: 1990
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 449
Media group: MONOGRAPHIE
Cover von 9th international conference on automated deduction
Argonne, Illinois, USA, May 23 - 26, 1988 : proceedings
Search for this author
Year: 1988
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 310
Media group: MONOGRAPHIE
Cover von 8th international conference on automated deduction
Oxford, England, July 27 - August 1, 1986 : proceedings
Search for this author
Year: 1986
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 230
Media group: MONOGRAPHIE
OPEN V 11.1.0.0