A practical algorithm for geometric theorem proving
Published in Lecture notes in computer science • Jan 1, 1995
NobleIDNI5P34W31R65S07
Authors:,
Ashutosh Rege
John Canny
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!