![](/img/cover-not-exists.png)
Algorithm and computer experiment for seeking proofs of theorems in the predicate calculus
F. V. Anufriev, V. M. Kostyakov, A. I. MalashonokVolume:
8
Language:
english
Pages:
7
DOI:
10.1007/bf01068448
Date:
September, 1972
File:
PDF, 524 KB
english, 1972