Did you mean: automata

search result

Cover von Certifying Algorithms for Automated Reasoning; 6
pp. 1-31
Search for this author
Year: 2026
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 6
Media group: DAGSTUHL REPORT
Cover von Driver Reactions to Automated Vehicles
Author: Eriksson, Alexander; Stanton, Neville A. Search for this author
Year: 2024
Publisher: Boca Raton, CRC Press
Media group: MONOGRAPHIE
Cover von Automated Programming and Program Repair; 10
pp. 39-57
Search for this author
Year: 2025
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 10
Media group: DAGSTUHL REPORT
Cover von Automated Theorem Proving for Metamath

Automated Theorem Proving for Metamath

Year: 2023
Media group: LIPIcs
Cover von Consistency of Automated Market Makers

Consistency of Automated Market Makers

Year: 2023
Media group: OASICS
Cover von Proof theory and automated deduction
Author: Goubault-Larrecq, Jean; Mackie, Ian Search for this author
Year: 1997
Publisher: Dordrecht, Kluwer
Series: Applied logic series; 6
Media group: MONOGRAPHIE
Cover von Automated modeling of physical systems
Author: Nayak, P. Pandurang Search for this author
Year: 1995
Publisher: Berlin, Springer
Series: Lecture notes in in artificial intelligence : ACM distinguished theses; 1003, Lecture notes in artificial intelligence
Media group: MONOGRAPHIE
Cover von Automated practical reasoning and argumentation
23.08. - 27.08.93 (9334)
Search for this author
Year: 1993
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 70
Media group: DAGSTUHL-SEMINAR-REP
Cover von Principles of automated theorem proving
Author: Duffy, David A. Search for this author
Year: 1991
Publisher: Chichester, Wiley
Series: Wiley professional computing
Media group: MONOGRAPHIE
Cover von Automated Georeferencing of Antarctic Species

Automated Georeferencing of Antarctic Species

Year: 2021
Media group: LIPIcs
OPEN V 11.1.0.0