Sutcliffe, Geoff.
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Automated Deduction – CADE 28 = 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings /
by:
SpringerLink (Online service); Sutcliffe, Geoff.; Platzer, André.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Logic for Programming, Artificial Intelligence, and Reasoning : = 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings
by:
SpringerLink (Online service); Voronkov, Andrei.; Sutcliffe, Geoff.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
主題
Software Engineering.
Mathematical logic.
Artificial intelligence
Artificial Intelligence (incl. Robotics)
Artificial Intelligence.
Computer logic.
Artificial intelligence.
Automatic theorem proving
Software engineering.
Computer Science.
Programming Techniques.
Logic programming
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.