✦ LIBER ✦

Well-Behaved Inference Rules for First-Order Theorem Proving

✍ Scribed by Jinzhao Wu; Zhuojun Liu

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Theo

✍ Gunter, Elsa L.; Felty, Amy 📂 Article 📅 1997 🏛 Springer Berlin Heidelberg ⚖ 813 KB

[Lecture Notes in Computer Science] Theo

✍ Aagaard, Mark; Harrison, John 📂 Article 📅 2000 🏛 Springer Berlin Heidelberg ⚖ 1012 KB