Automatic search for proofs of mathemati
โ
V. M. Glushkov; Yu. V. Kapitonova
๐
Article
๐
1974
๐
Springer US
๐
English
โ 503 KB