Combined reasoning by automated cooperation

Peter B. Andrews. An introduction to mathematical logic and type theory: to truth through proof. Computer science and applied mathematics. Academic Press, Orlando etc. 1986, xv + 304 pp.

Journal of Symbolic Logic · 1988 · 452 citations

Humanities, Computer Science, Mathematics +12

The design and implementation of VAMPIRE

Alexandre Riazanov, Андрей Воронков · AI Communications · 2002 · 417 citations

Computing, Computer Science, Formal Methods +12

The TPTP Problem Library

Geoff Sutcliffe, Christian Suttner · Journal of Automated Reasoning · 1998 · 301 citations

Computing, Computer Science, Computer Systems +5

Multiagent systems: a modern approach to distributed artificial intelligence

Guillermo Ricardo Simari · DOAJ (DOAJ: Directory of Open Access Journals) · 2000 · 225 citations

Computing, Autonomous Systems, Computer Science +15

Resolution in type theory

Peter B. Andrews · Journal of Symbolic Logic · 1971 · 129 citations

Humanities, Computer Science, Mathematics +11