✦ LIBER ✦

[Lecture Notes in Computer Science] 10th International Conference on Automated Deduction Volume 449 || Liss — The logic inference search system

✍ Scribed by Stickel, Mark E.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] 10th

✍ Stickel, Mark E. 📂 Article 📅 1990 🏛 Springer Berlin Heidelberg ⚖ 139 KB

[Lecture Notes in Computer Science] 10th

✍ Stickel, Mark E. 📂 Article 📅 1990 🏛 Springer Berlin Heidelberg ⚖ 971 KB

[Lecture Notes in Computer Science] 6th

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

[Lecture Notes in Computer Science] 8th

✍ Siekmann, Jörg H. 📂 Article 📅 1986 🏛 Springer Berlin Heidelberg ⚖ 370 KB

[Lecture Notes in Computer Science] Logi

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

[Lecture Notes in Computer Science] 9th

✍ Lusk, Ewing; Overbeek, Ross 📂 Article 📅 1988 🏛 Springer-Verlag 🌐 German ⚖ 801 KB