Did you mean: automata

search result

Cover von Automated Reasoning

Automated Reasoning

10th International Joint Conference, IJCAR 2020, Paris, France, July 1 - 4, 2020, Proceedings
2020
Berlin, Springer
Series: Lecture notes in artificial intelligence; 12166/12167
Media group: GESAMTWERK
Volumes loading
Cover von Automated Synthesis; 4
Functional, Reactive and Beyond : pp. 85-107
Search for this author
Year: 2024
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 4
Media group: DAGSTUHL REPORT
Cover von Part II.; Automated Reasoning
12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II
Search for this author
Year: 2024
Publisher: Berlin, Springer
Automated Reasoning
Volume: Part II.
Series: Lecture notes in artificial intelligence; 14740
Media group: MONOGRAPHIE
Cover von Part I.; Automated Reasoning
12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I
Search for this author
Year: 2024
Publisher: Heidelberg, Springer
Automated Reasoning
Volume: Part I.
Series: Lecture notes in artificial intelligence; 14739
Media group: MONOGRAPHIE
Cover von Automated mathematics; 10
integrating proofs, algorithms and data : pp. 1-23
Search for this author
Year: 2024
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 10
Media group: DAGSTUHL REPORT
Cover von Automated deduction

Automated deduction

a basis for application
1998
Dordrecht, Kluwer
Media group: GESAMTWERK
Volumes loading
Cover von Part I.; Automated Reasoning
10th International Joint Conference, IJCAR 2020, Paris, France, July 1 - 4, 2020, Proceedings, Part I
Search for this author
Year: 2020
Publisher: Heidelberg, Springer
Automated Reasoning
Volume: Part I.
Series: Lecture notes in artificial intelligence; 12166
Media group: MONOGRAPHIE
Cover von Part II.; Automated Reasoning
10th International Joint Conference, IJCAR 2020, Paris, France, July 1 - 4, 2020, Proceedings, Part II
Search for this author
Year: 2020
Publisher: Heidelberg, Springer
Automated Reasoning
Volume: Part II.
Series: Lecture notes in artificial intelligence; 12167
Media group: MONOGRAPHIE
Cover von Automated Synthesis

Automated Synthesis

a Distributed Viewpoint
Year: 2018
Media group: LIPIcs
Cover von Automated Synthesis

Automated Synthesis

Going Distributed (Invited Talk)
Year: 2016
Media group: LIPIcs
OPEN V 11.1.0.0