✦ LIBER ✦

[Lecture Notes in Computer Science] 10th International Conference on Automated Deduction Volume 449 || Ritt-Wu's decomposition algorithm and geometry theorem proving

✍ 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 ⚖ 105 KB

[Lecture Notes in Computer Science] 8th

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