%0 Generic
%T Algorithm and computer experiment for seeking proofs of theorems in the predicate calculus
%A Anufriev, F. V.
%A Kostyakov, V. M.
%A Malashonok, A. I.
%I Springer Science and Business Media LLC
%@ 0011-4235
%@ 1573-8337
%K General Computer Science
%K General Computer Science
%D 1974
%C Springer Science and Business Media LLC
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation