Visual Reasoning in Geometry Theorem Proving

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

Abstract

Abstract is missing.