Geometric reasoning

Name: Geometric reasoning
Author: Deepak Kapur, Joseph L. Mundy

No description available.

Computer visionRoboticsCongressesArtificial intelligenceAutomatic theorem provingLogic machines

Geometric reasoning by Deepak Kapur, Joseph L. Mundy — book · Vinony