Sutcliffe, Geoff.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
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é.
(Language materials, printed)
, [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 :)
(Language materials, printed)
Subjects
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.