✦ LIBER ✦

Mechanical Theorem-Proving by Model Elimination

✍ Scribed by Loveland, Donald W.

Book ID: 111887628
Publisher: Association for Computing Machinery
Year: 1968
Tongue: English
Weight: 959 KB
Volume: 15
Category: Article
ISSN: 0004-5411
DOI: 10.1145/321450.321456

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Mechanical geometry theorem proving

✍ Shang-Ching Chou 📂 Library 📅 1988 🏛 D. Reidel Pub. Co.; Sold and distributed in the U. 🌐 English ⚖ 4 MB

Mechanical Geometry Theorem Proving

✍ Shang-Ching Chou 📂 Library 📅 1988 🏛 D. Reidel Pub. Co.; Sold and distributed in the U. 🌐 English ⚖ 4 MB

Ordering in mechanical geometry theorem

Ordering in mechanical geometry theorem proving

✍ Hongbo Li 📂 Article 📅 1997 🏛 SP Science China Press 🌐 English ⚖ 534 KB

Mechanical theorem proving in differenti

Mechanical theorem proving in differential geometry

✍ Hongbo Li 📂 Article 📅 1997 🏛 SP Science China Press 🌐 English ⚖ 292 KB

Mathematics Mechanization: Mechanical Ge

Mathematics Mechanization: Mechanical Geometry Theorem proving

✍ Wu Wen-tsun 📂 Library 📅 2001 🏛 Springer 🌐 English ⚖ 4 MB

A collection of essays centered around mathematical mechanization, dealing with mathematics in an algorithmic and constructive manner, with the aim of developing mechanical, automated reasoning. Discusses historical developments, underlying principles, and features applications and examples.

Model Evolution-Based Theorem Proving

📂 Article 📅 2014 🏛 IEEE 🌐 English ⚖ 630 KB