Sattler, Uli.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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.
(書目-電子資源)
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)
(書目-電子資源)
主題
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