𝔖 Bobbio Scriptorium
✦   LIBER   ✦

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

✍ Scribed by Bundy, Alan

Book ID
120554055
Publisher
Springer Berlin Heidelberg
Year
1994
Weight
799 KB
Category
Article
ISBN
3540484671

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-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

[Lecture Notes in Computer Science] Auto
[Lecture Notes in Computer Science] Automated Deduction – CADE-24 Volume 7898 || Propositional Temporal Proving with Reductions to a SAT Problem
✍ Bonacina, Maria Paola 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 316 KB

This book constitutes the proceedings of the 24th International Conference on Automated Deduction, CADE-24, held in Lake Placid, NY, USA, in June 2013. The 31 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 71 initial submissions. CADE is the ma