Geometric reasoning /
Kapur, Deepak.
Mundy, Joseph L.
International Workshop on Geometric Reasoning(1986 :Oxford University)
Cambridge, Mass. ; London : MIT Press,
1989, c1988.
Papers presented at an International Workshop on Geometric Reasoning, held at Oxford University, June 30 to July 3, 1986.
Reprinted from Artificial intelligence, v, 37, no. 1-3 (1988).
"A Bradford book."
Includes bibliographical references.
Artificial intelligence
Automatic theorem proving
Computer vision
Robotics