語系
Sutcliffe, Geoff.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Automated deduction - CADE 28 = 28th International Conference on Automated Deduction, virtual event, July 12-15, 2021 : proceedings /
by:
International Conference on Automated Deduction (2021 :); Sutcliffe, Geoff.; SpringerLink (Online service); Platzer, Andre.
(書目-電子資源)
Logic for Programming, Artificial Intelligence, and Reasoning : = 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings
by:
Sutcliffe, Geoff.; Voronkov, Andrei.; SpringerLink (Online service); LPAR 2005 ((2005 :)
(書目-語言資料,印刷品)
主題
Artificial intelligence
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Automatic theorem proving
Logic programming
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Artificial Intelligence.
Computer Science.
Logic, Symbolic and mathematical