![](/img/cover-not-exists.png)
A brief review and bibliography of investigations into automation of search of theorem proofs in formal theories
Yu. V. Kapitonova, V. F. Kostyrko, A. V. Lyaletskii, A. I. Degtyarev, A. I. Malashonok, F. V. Anufriev, Z. M. Asel'derovVolume:
8
Language:
english
Pages:
16
DOI:
10.1007/bf01068444
Date:
September, 1972
File:
PDF, 1.68 MB
english, 1972