✦ LIBER ✦

[Lecture Notes in Computer Science] Automated Reasoning with Analytic Tableaux and Related Methods Volume 1227 || Automated natural deduction prover and experiments

✍ Scribed by Galmiche, Didier

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Auto

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

[Lecture Notes in Computer Science] Auto

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

[Lecture Notes in Computer Science] Auto

✍ Cialdea Mayer, Marta; Pirri, Fiora 📂 Article 📅 2003 🏛 Springer Berlin Heidelberg ⚖ 91 KB

[Lecture Notes in Computer Science] Logi

✍ Voronkov, Andrei 📂 Article 📅 1992 🏛 Springer-Verlag ⚖ 856 KB

[Lecture Notes in Computer Science] 6th

✍ Loveland, D. W. 📂 Article 📅 1982 🏛 Springer-Verlag ⚖ 410 KB

[Lecture Notes in Computer Science] Logi

✍ Pfenning, Frank 📂 Article 📅 1994 🏛 Springer Berlin Heidelberg ⚖ 857 KB