✦ LIBER ✦

[Lecture Notes in Computer Science] Automated Reasoning with Analytic Tableaux and Related Methods Volume 2796 || Logistica 2.0: A Technology for Implementing Automatic Deduction Systems

✍ Scribed by Cialdea Mayer, Marta; Pirri, Fiora

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Auto

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

[Lecture Notes in Computer Science] Auto

✍ de Swart, Harrie 📂 Article 📅 1998 🏛 Springer Berlin Heidelberg ⚖ 112 KB

[Lecture Notes in Computer Science] Auto

✍ Dyckhoff, Roy 📂 Article 📅 2000 🏛 Springer Berlin Heidelberg ⚖ 218 KB