Kapur, Deepak (ed)
Geometric reasoning
- Massachussetts MIT Pr 1989
- 512p
Papers presented at an International Workshop on geometric reasoning, held at Oxford University, June30 to July 3, 1986
0-262-61058-2
Robotics--Congresses
Computer vision--Congresses
Automatic theorem proving--Congresses
Artificial intelligence--Congresses
Computers, programming languages and allied aspects
006.3/KAP