✦ LIBER ✦

[Lecture Notes in Computer Science] Automated Reasoning with Analytic Tableaux and Related Methods Volume 1227 || Non-elementary speed-ups in proof length by different variants of classical analytic calculi

✍ Scribed by Galmiche, Didier

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Auto

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

[Lecture Notes in Computer Science] Auto

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

[Lecture Notes in Computer Science] Auto

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

[Lecture Notes in Computer Science] Auto

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