𝔖 Bobbio Scriptorium
✦   LIBER   ✦

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

✍ Scribed by McCune, William

Book ID
111681222
Publisher
Springer Berlin Heidelberg
Year
1997
Weight
1011 KB
Category
Article
ISBN
3540691405

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