Visual Reasoning in Geometry Theorem Proving

Michelle Y. Kim. Visual Reasoning in Geometry Theorem Proving. In IJCAI. pages 1617-1622, 1989.

No reviews for this publication, yet.