Computer Understanding of Mathematical Proofs

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

Abstract

Abstract is missing.