Automatic search for proofs of mathematical theorems and intelligent computers
V. M. Glushkov, Yu. V. KapitonovaVolume:
8
Language:
english
Pages:
5
DOI:
10.1007/bf01068443
Date:
September, 1972
File:
PDF, 503 KB
english, 1972