✦ LIBER ✦

The problem of automated theorem finding

✍ Scribed by Larry Wos

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the method of reciprocal theorem to f

✍ Fu Bao-lian 📂 Article 📅 1989 🏛 Springer 🌐 English ⚖ 393 KB

On the problem of finding tissue antigen

✍ V. I. Ioffe; L. P. Kopytovskaya 📂 Article 📅 1957 🏛 Springer US 🌐 English ⚖ 298 KB

The problem of automating thermophysical

✍ V. P. Mishin 📂 Article 📅 1980 🏛 Springer US 🌐 English ⚖ 91 KB

The theorem of the alternative, the key-

✍ R. Lehmann; W. Oettli 📂 Article 📅 1975 🏛 Springer-Verlag 🌐 English ⚖ 443 KB

Problem of automating the catalyst circu

✍ I. E. Skorikov 📂 Article 📅 1966 🏛 Springer US 🌐 English ⚖ 340 KB

On the inverse problem of finding the co

✍ M. I. Ivanchov 📂 Article 📅 1996 🏛 Springer US 🌐 English ⚖ 227 KB