𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Automated Deduction—CADE-11 Volume 607 || Cycle unification

✍ Scribed by Kapur, Deepak

Book ID
125433265
Publisher
Springer Berlin Heidelberg
Year
1992
Weight
884 KB
Category
Article
ISBN
3540472525

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-19 Volume 2741 || The Model Evolution Calculus
✍ Baader, Franz 📂 Article 📅 2003 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 303 KB

The refereed proceedings of the 19th International Conference on Automated Deduction, CADE 2003, held in Miami Beach, FL, USA in July 2003. The 29 revised full papers and 7 system description papers presented together with an invited paper and 3 abstracts of invited talks were carefully reviewed and

[Lecture Notes in Computer Science] Auto
[Lecture Notes in Computer Science] Automated Deduction — CADE-16 Volume 1632 || A Confluent Connection Calculus
✍ Ganzinger, Harald 📂 Article 📅 1999 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 189 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