✦ LIBER ✦

The Watson Theorem Prover

✍ Scribed by M. Randall Holmes; Jim Alves-Foss

Book ID: 110293001
Publisher: Springer Netherlands
Year: 2001
Tongue: English
Weight: 190 KB
Volume: 26
Category: Article
ISSN: 0168-7433
DOI: 10.1023/a:1010652212067

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A circumscriptive theorem prover

✍ Matthew L. Ginsberg 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 824 KB

In [6], a generalization of first-order logic was introduced that led to the development of an effective theorem prover for some simple sorts of default reasoning. In this paper, we show that these ideas can also be used to construct a theorem prover for a wide class of circumscriptive theories. Th

A Prolog technology theorem prover

✍ Mark E. Stickel 📂 Article 📅 1984 🏛 Springer 🌐 English ⚖ 714 KB

On theorem prover-based testing

✍ Brucker, Achim D.; Wolff, Burkhart 📂 Article 📅 2012 🏛 Springer 🌐 English ⚖ 812 KB

SPTHEO - A Parallel Theorem Prover

✍ Christian B. Suttner 📂 Article 📅 1997 🏛 Springer Netherlands 🌐 English ⚖ 73 KB

Attribute grammar based theorem prover

✍ T Panayiotopoulos; G Papakonstantinou; G Stamatopoulos 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 633 KB

RRTP - A Replacement Rule Theorem Prover

✍ M. Paramasivam; David A. Plaisted 📂 Article 📅 1997 🏛 Springer Netherlands 🌐 English ⚖ 98 KB