Computer Understanding of Mathematical Proofs

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

No reviews for this publication, yet.