𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Automated Reasoning with Analytic Tableaux and Related Methods Volume 1227 || MGTP: A model generation theorem prover — Its advanced features and applications —

✍ Scribed by Galmiche, Didier

Book ID
127023774
Publisher
Springer Berlin Heidelberg
Year
1997
Weight
879 KB
Category
Article
ISBN
3540690468

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Auto
[Lecture Notes in Computer Science] Automated Reasoning with Analytic Tableaux and Related Methods Volume 1397 || Hyper Tableau — The Next Generation
✍ de Swart, Harrie 📂 Article 📅 1998 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 200 KB

This Book Constitutes The Refereed Proceedings Of The 1998 International Conference On Analytic Tableaux And Related Methods, Tableaux'98, Held In Oisterwijk Near Tilburg, The Netherlands, In May 1998. The Volume Presents 17 Revised Full Papers And Three System Descriptions Selected From 34 Submissi