𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Using the VIRT programming language for automatic theorem proving

✍ Scribed by A. I. Baranovskii

Book ID
110658862
Publisher
Springer US
Year
1999
Tongue
English
Weight
1017 KB
Volume
35
Category
Article
ISSN
1573-8337

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

The Use of Proof Planning for Co-operati
The Use of Proof Planning for Co-operative Theorem Proving
✍ H. Lowe; A. Bundy; D. McLean πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 491 KB

We describe barnacle: a co-operative interface to the clam inductive theorem proving system. For the foreseeable future, there will be theorems which cannot be proved completely automatically, so the ability to allow human intervention is desirable; for this intervention to be productive the problem