✦ LIBER ✦

[Lecture Notes in Computer Science] Automated Deduction—CADE-14 Volume 1249 || SATO: An efficient prepositional prover

✍ Scribed by McCune, William

Book ID: 120639482
Publisher: Springer Berlin Heidelberg
Year: 1997
Weight: 253 KB
Category: Article
ISBN: 3540691405
DOI: 10.1007/3-540-63104-6_28

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Auto

[Lecture Notes in Computer Science] Automated Deduction—CADE-14 Volume 1249 || Evolving combinators

✍ McCune, William 📂 Article 📅 1997 🏛 Springer Berlin Heidelberg ⚖ 1011 KB

[Lecture Notes in Computer Science] Auto

[Lecture Notes in Computer Science] Automated Deduction — CADE-15 Volume 1421 || System description: Leo — A higher-order theorem prover

✍ Kirchner, Claude; Kirchner, Hélène 📂 Article 📅 1998 🏛 Springer Berlin Heidelberg ⚖ 256 KB

[Lecture Notes in Computer Science] Auto

[Lecture Notes in Computer Science] Automated Deduction — CADE-12 Volume 814 || Extended path-indexing

✍ Bundy, Alan 📂 Article 📅 1994 🏛 Springer Berlin Heidelberg ⚖ 799 KB

[Lecture Notes in Computer Science] Auto

[Lecture Notes in Computer Science] Automated Deduction — Cade-13 Volume 1104 || IMPS: An updated system description

✍ McRobbie, M. A.; Slaney, J. K. 📂 Article 📅 1996 🏛 Springer Berlin Heidelberg ⚖ 300 KB

[Lecture Notes in Computer Science] Auto

[Lecture Notes in Computer Science] Automated Reasoning with Analytic Tableaux and Related Methods Volume 1227 || Automated natural deduction prover and experiments

✍ Galmiche, Didier 📂 Article 📅 1997 🏛 Springer Berlin Heidelberg ⚖ 277 KB

[Lecture Notes in Computer Science] Auto

[Lecture Notes in Computer Science] Automated Deduction — CADE-16 Volume 1632 || A PSpace Algorithm for Graded Modal Logic

✍ Ganzinger, Harald 📂 Article 📅 1999 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 213 KB

This Book Constitutes The Refereed Proceedings Of The 16th International Conference On Automated Deduction, Cade-16, Held In Trento, Italy In July 1999 As Part Of Floc'99. The 21 Revised Full Papers Presented Were Carefully Reviewed And Selected From A Total Of 83 Submissions. Also Included Are 15 S