Reasoning about three dimensional space
- 23 March 2005
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. 2, 405-410
- https://doi.org/10.1109/robot.1985.1087257
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Empirical Explorations of the Geometry-Theorem Proving MachinePublished by Springer Nature ,1983
- Survey of Model-Based Image Analysis SystemsThe International Journal of Robotics Research, 1982
- Symbolic reasoning among 3-D models and 2-D imagesArtificial Intelligence, 1981
- Operators and algebraic structuresPublished by Association for Computing Machinery (ACM) ,1981
- Plane geometry theorem proving using forward chainingArtificial Intelligence, 1975