Computer Understanding of Mathematical Proofs

Vesko Marinov. Computer Understanding of Mathematical Proofs. In IJCAI. pages 851-857, 1977.

Bibliographies