Sattler, Uli.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Frontiers of combining systems14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023 : proceedings /
by:
(1998 :); Sattler, Uli.; SpringerLink (Online service); Suda, Martin.
(Electronic resources)
Automated reasoning6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012 : proceedings /
by:
(1998 :); Gramlich, Bernhard.; Miller, Dale.; Sattler, Uli.; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Mathematics of Computing.
Automatic theorem proving
Artificial Intelligence (incl. Robotics)
Computer logic
Computer Science Logic and Foundations of Programming.
Numeric Computing.
Computer Engineering and Networks.
Computer science
Artificial Intelligence.
Formal Languages and Automata Theory.
Computer Science.
Logic, Symbolic and mathematical