✦ LIBER ✦

Theorem proving in infinite herbrand domain

✍ Scribed by Y. Y. Samokhvalov

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Proving the Pythagorean Theorem via Infi

✍ Zsolt Lengvárszky 📂 Article 📅 2013 🏛 Mathematical Association of America 🌐 English ⚖ 204 KB

Herbrand theorems in arbitrary instituti

✍ Răzvan Diaconescu 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 200 KB

Analogy in Inductive Theorem Proving

✍ Erica Melis; Jon Whittle 📂 Article 📅 1999 🏛 Springer Netherlands 🌐 English ⚖ 218 KB

Computer Theorem Proving in Mathematics

✍ Carlos Simpson 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 144 KB

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