✦ LIBER ✦

On Automated Theorem Proving

✍ Scribed by STEPHEN RUSSELL; TRACI WHEELER UNISYS

Book ID: 119867399
Publisher: John Wiley and Sons
Year: 1992
Tongue: English
Weight: 776 KB
Volume: 661
Category: Article
ISSN: 0890-6564
DOI: 10.1111/j.1749-6632.1992.tb26040.x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Automated theorem proving methods

✍ Rolf Nossum 📂 Article 📅 1985 🏛 Springer Netherlands 🌐 English ⚖ 780 KB

Recent advances in automated theorem pro

Recent advances in automated theorem proving on inequalities

✍ Lu Yang 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 770 KB

Automated theorem proving for Łukasiewic

Automated theorem proving for Łukasiewicz logics

✍ Gordon Beavers 📂 Article 📅 1993 🏛 Springer Netherlands 🌐 English ⚖ 650 KB

Automated theorem proving for non-classi

Automated theorem proving for non-classical logics

📂 Article 📅 1993 🏛 Springer Netherlands 🌐 English ⚖ 14 KB

Evaluating general purpose automated the

Evaluating general purpose automated theorem proving systems

✍ Geoff Sutcliffe; Christian Suttner 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 216 KB

A key concern of ATP research is the development of more powerful systems, capable of solving more difficult problems within the same resource limits. In order to build more powerful systems, it is important to understand which systems, and hence which techniques, work well for what types of problem

Automated Theorem Proving by Test Set In

Automated Theorem Proving by Test Set Induction

✍ ADEL BOUHOULA 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 825 KB

Test set induction is a goal-directed proof technique which combines the full power of explicit induction and proof by consistency. It works by computing an appropriate explicit induction scheme called a test set, to trigger the induction proof, and then applies a refutation principle using proof by