✦ LIBER ✦

A Basis for the Mechanization of the Theory of Equationsby A. Robinson;On the Mechanization of the Theory of Equationsby A. Robinson

✍ Scribed by Review by: Martin Davis

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Undecidability of Exponential Diopha

✍ Review by: Hartley Rogers, Jr 📂 Article 📅 1970 🏛 Association for Symbolic Logic 🌐 English ⚖ 232 KB

Theory, testing, and mechanization of th

✍ Altmann, Berthold ;Riessler, Walter A. 📂 Article 📅 1969 🏛 Wiley (John Wiley & Sons) ⚖ 988 KB

A theory of the substorm mechanism

✍ Schindler, K. 📂 Article 📅 1974 🏛 American Geophysical Union 🌐 English ⚖ 868 KB

Mechanization of the stamping of weights

✍ A. S. Poroshin 📂 Article 📅 1959 🏛 Springer US 🌐 English ⚖ 73 KB

Mechanization of the fabrication of slin

✍ I. A. Goryunov 📂 Article 📅 1977 🏛 Springer 🌐 English ⚖ 213 KB

Mechanization of the installation of a h

✍ V. D. Mel'nikov 📂 Article 📅 1990 🏛 Springer US 🌐 English ⚖ 146 KB