Vesko Marinov. Computer Understanding of Mathematical Proofs. In IJCAI. pages 851-857, 1977.
@inproceedings{Marinov77,
title = {Computer Understanding of Mathematical Proofs},
author = {Vesko Marinov},
year = {1977},
researchr = {https://researchr.org/publication/Marinov77},
cites = {0},
citedby = {0},
pages = {851-857},
booktitle = {IJCAI},
}