𝔖 Bobbio Scriptorium

✦ LIBER ✦

Automatic search for proofs of mathematical theorems and intelligent computers

✍ Scribed by V. M. Glushkov; Yu. V. Kapitonova

Publisher: Springer US
Year: 1974
Tongue: English
Weight: 503 KB
Volume: 8
Category: Article
ISSN: 1573-8337
DOI: 10.1007/bf01068443

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Algorithm and computer experiment for se

Algorithm and computer experiment for seeking proofs of theorems in the predicate calculus

✍ F. V. Anufriev; V. M. Kostyakov; A. I. Malashonok 📂 Article 📅 1974 🏛 Springer US 🌐 English ⚖ 524 KB

How computers see the world - and how th

How computers see the world - and how they should : Russel A. Kirsch, Artificial Intelligence Research Center for Applied Mathematics, National Bureau of Standards, Washington, D.C. 20234, U.S.A.

📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 73 KB

Interactive decision analysis: Proceedin

Interactive decision analysis: Proceedings of an International Workshop on Interactive Decision Analysis and Interpretative Computer Intelligence, held at the International Institute for Applied Systems Analysis (IIASA), Laxenburg, Austria, September 20–23, 1983: M. GRAUER and A.P. WIERZBICKI (Eds.) Volume 229 in: Lecture Notes in Economics and Mathematical Systems, Springer, Berlin, 1984, viii + 269 pages, DM44.00

✍ B. Werners 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 214 KB