✦ LIBER ✦

Mechanical theorem proving in the local theory of surfaces

✍ Scribed by Ziming Li

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the role of unification in mechanical

✍ Robert E. Shostak 📂 Article 📅 1977 🏛 Springer-Verlag 🌐 English ⚖ 306 KB

Mechanical theorem proving in a certain

✍ Ewa Orłowska 📂 Article 📅 1969 🏛 Springer Netherlands 🌐 English ⚖ 453 KB

Mechanical theorem proving of differenti

✍ Wu Wen-Tsun 📂 Article 📅 1991 🏛 Springer Netherlands 🌐 English ⚖ 954 KB

An average case analysis of a resolution

✍ T. H. Hu; C. Y. Tang; R. C. T. Lee 📂 Article 📅 1992 🏛 Springer Netherlands 🌐 English ⚖ 769 KB

A fundamental theorem in the theory of r

✍ E. J. Wilczynski 📂 Article 📅 1903 🏛 Springer 🌐 English ⚖ 456 KB

Investigation of loading surfaces in the

✍ A. F. Kregers 📂 Article 📅 1974 🏛 Springer US 🌐 English ⚖ 390 KB