Did you mean: automata

search result

Cover von Strategies in automated deduction; 1/4
S. 1 - 257
Search for this author
Year: 2000
Publisher: Bussum, Baltzer
Count: 1/4
Media group: SPECIAL ISSUE
Cover von Journal of automated reasoning

Journal of automated reasoning

Boston, Kluwer
Media group: ZEITSCHRIFT
Volumes loading
Cover von Automated Deduction – CADE 30
30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings
Search for this author
Year: 2025
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 15943
Media group: MONOGRAPHIE
Cover von Automated proof search in non-classical logics
efficient matrix proof methods for modal and intuitionistic logics
Author: Wallen, Lincoln A. Search for this author
Year: 1990
Publisher: Cambridge, MIT Pr.
Series: MIT Press series in artificial intelligence
Media group: MONOGRAPHIE
Cover von Automated reasoning and nonclassical logics
special issue
Search for this author
Year: 1991
Publisher: Dordrecht, Kluwer
Series: Journal of automated reasoning : 7. 1991, 4
Media group: SPECIAL ISSUE
Cover von New trends in automated reasoning
special issue
Search for this author
Year: 1991
Publisher: Dordrecht, Kluwer
Series: Journal of automated reasoning : 7. 1991, 2
Media group: SPECIAL ISSUE
Cover von Logic programming and automated reasoning
international conference : St.Petersburg, Russia, July 15 - 20, 1992 : proceedings
Search for this author
Year: 1992
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 624
Media group: MONOGRAPHIE
Cover von Logic programming and automated reasoning
5th international conference : Kiev, Ukraine, July 16 - 22, 1994 : proceedings
Search for this author
Year: 1994
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 822
Media group: MONOGRAPHIE
Cover von Logic programming and automated reasoning
4th international conference : St. Petersburg, Russia, July 13 - 20, 1993 : proceedings
Search for this author
Year: 1993
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 698
Media group: MONOGRAPHIE
Cover von Automated Reencoding Meets Graph Theory

Automated Reencoding Meets Graph Theory

Year: 2026
Media group: LIPIcs
OPEN V 11.1.0.0