✦ LIBER ✦

On theorem prover-based testing

✍ Scribed by Brucker, Achim D.; Wolff, Burkhart

Book ID: 111899346
Publisher: Springer
Year: 2012
Tongue: English
Weight: 812 KB
Volume: 25
Category: Article
ISSN: 0934-5043
DOI: 10.1007/s00165-012-0222-y

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Attribute grammar based theorem prover

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

Tableau-based theorem provers: Systems a

Tableau-based theorem provers: Systems and implementations

✍ J. Schumann 📂 Article 📅 1994 🏛 Springer Netherlands 🌐 English ⚖ 828 KB

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

The Watson Theorem Prover

✍ M. Randall Holmes; Jim Alves-Foss 📂 Article 📅 2001 🏛 Springer Netherlands 🌐 English ⚖ 190 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

A Prolog technology theorem prover

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