๐”– 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

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES