Kim, Michelle Y.

1 publications

IJCAI 1989 Visual Reasoning in Geometry Theorem Proving Michelle Y. Kim