Did you mean: automata

search result

Cover von Automated Deduction

Automated Deduction
CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12 - 15, 2021, Proceedings
Search for this author
Year: 2021
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 12699
Media group: MONOGRAPHIE
Cover von Automated Deduction

Automated Deduction
CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27 - 30, 2019, Proceedings
Search for this author
Year: 2019
Publisher: Heidelberg, Springer
Series: Lecture notes in artificial intelligence; 11716
Media group: MONOGRAPHIE
Cover von Automated Deduction

Automated Deduction
CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6 - 11, 2017, Proceedings
Search for this author
Year: 2017
Publisher: Heidelberg, Springer
Series: Lecture notes in artificial intelligence; 10395
Media group: MONOGRAPHIE
Cover von Automated Deduction

Automated Deduction
CADE-25 - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings
Search for this author
Year: 2015
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 9195
Media group: MONOGRAPHIE
Cover von Automated Deduction

Automated Deduction
22nd International Conference on Automated Deduction, Montreal, Canada, August 2 - 7, 2009, proceedings
Search for this author
Year: 2009
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 5663
Media group: MONOGRAPHIE
Cover von Automated deduction

Automated deduction

CADE-21 : 21st international conference on automated deduction : Bremen, Germany, July 17 - 20, 2007 : proceedings
Search for this author
Year: 2007
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 4603
Media group: MONOGRAPHIE
Cover von Automated deduction

Automated deduction
17th international conference on automated deduction : Pittsburgh, PA, USA, June 17 - 20, 2000 : proceedings
Search for this author
Year: 2000
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 1831
Media group: MONOGRAPHIE
Cover von Automated reasoning

Automated reasoning
proceedings of the IFIP TC 12 /WG 12.3 international workshop on automated reasoning, Beijing, P. R. China, 13 - 16 July 1992
Search for this author
Year: 1992
Publisher: Amsterdam, North-Holland
Series: IFIP transactions A; 19
Media group: MONOGRAPHIE
Cover von Automated reasoning

Automated reasoning
essays in honor of Woody Bledsoe
Search for this author
Year: 1991
Publisher: Dordrecht, Kluwer
Series: Automated reasoning series; 1
Media group: MONOGRAPHIE
Cover von Automated Reasoning

Automated Reasoning
11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8 - 10, 2022, Proceedings
Search for this author
Year: 2022
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 13385
Media group: MONOGRAPHIE
OPEN V 11.1.0.0