![](/img/cover-not-exists.png)
Organization of data for the obviousness algorithm seeking proofs of theorems in formalized theories
Z. M. Asel'derov, F. V. Anufriev, Yu. V. KapitonovaVolume:
8
Language:
english
Pages:
8
DOI:
10.1007/bf01068447
Date:
September, 1972
File:
PDF, 782 KB
english, 1972