Media type: E-Article Title: Algorithm and computer experiment for seeking proofs of theorems in the predicate calculus Contributor: Anufriev, F. V.; Kostyakov, V. M.; Malashonok, A. I. imprint: Springer Science and Business Media LLC, 1974 Published in: Cybernetics Language: English DOI: 10.1007/bf01068448 ISSN: 0011-4235; 1573-8337 Keywords: General Computer Science ; General Computer Science Origination: Footnote: