✦ LIBER ✦

SPTHEO - A Parallel Theorem Prover

✍ Scribed by Christian B. Suttner

Book ID: 110229982
Publisher: Springer Netherlands
Year: 1997
Tongue: English
Weight: 73 KB
Volume: 18
Category: Article
ISSN: 0168-7433
DOI: 10.1023/a:1005868304990

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Parallelization of a Hyper-Linking–Based

Parallelization of a Hyper-Linking–Based Theorem Prover

✍ Chih-Hung Wu; Shie-Jue Lee 📂 Article 📅 2001 🏛 Springer Netherlands 🌐 English ⚖ 497 KB

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

Formalization of a Parameterized Paralle

Formalization of a Parameterized Parallel Adder Within the Coq Theorem Prover

✍ Chen, G. 📂 Article 📅 2010 🏛 IEEE 🌐 English ⚖ 122 KB

A Prolog technology theorem prover

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

RRTP - A Replacement Rule Theorem Prover

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

A full theorem-prover under uncertainty

✍ G. Papakonstantinou; T. Panayiotopoulos 📂 Article 📅 1993 🏛 Springer Netherlands 🌐 English ⚖ 635 KB