Did you mean: automata

search result

Cover von Automated Reasoning with Analytic Tableaux and Related Methods
22th International Conference, TABLEAUX 2013, Nancy, France, September 16 - 19, 2013, Proceedings
Search for this author
Year: 2013
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 8123
Media group: MONOGRAPHIE
Cover von Intelligent Data Engineering and Automated Learning - IDEAL 2012
13th International Conference, Natal, Brazil, August 29 - 31, 2012, Proceedings
Search for this author
Year: 2012
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 7435
Media group: MONOGRAPHIE
Cover von Intelligent Data Engineering and Automated Learning - IDEAL 2011
12th International Conference, Norwich, UK, September 7 - 9, 2011 : Proceedings
Search for this author
Year: 2011
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 6936
Media group: MONOGRAPHIE
Cover von Automated Reasoning with Analytic Tableaux and Related Methods
20th International Conference, Bern, Switzerland, July 4 - 8, 2011, Proceedings
Search for this author
Year: 2011
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 6793
Media group: MONOGRAPHIE
Cover von Automated Reasoning with Analytic Tableaux and Related Methods
18th International Conference, Oslo, Norway, July 6 - 10, 2009, Proceedings
Search for this author
Year: 2009
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 5607
Media group: MONOGRAPHIE
Cover von Automated reasoning with analytic tableaux and related methods
international conference, Koblenz, Germany, September 14 - 17, 2005 : proceedings
Search for this author
Year: 2005
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 3702
Media group: MONOGRAPHIE
Cover von Artificial intelligence, automated reasoning, and symbolic computation
joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1 - 5, 2002, proceedings
Search for this author
Year: 2002
Publisher: Heidelberg, Springer
Series: Lecture notes in artificial intelligence; 2385
Media group: MONOGRAPHIE
Cover von Automated reasoning with analytic tableaux and related methods
16th international conference : Aix en Provence, France, July 3 - 6, 2007 : proceedings
Search for this author
Year: 2007
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 4548
Media group: MONOGRAPHIE
Cover von Optimization and Automated Reasoning for Designing Future Space Missions; 15
pp. 80-94
Search for this author
Year: 2026
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 15
Media group: DAGSTUHL REPORT
Cover von Automated Design of Machine Learning and Search Algorithms
Author: Pillay, Nelishia; Qu, Rong Search for this author
Year: 2021
Publisher: Berlin, Springer
Series: Natural Computing Series
Media group: MONOGRAPHIE
OPEN V 11.1.0.0