Recognition of polyhedra by a mechanical theorem proving method

Kyun Koh, Koichiro Deguchi. Recognition of polyhedra by a mechanical theorem proving method. In 11th IAPR International Conference on Pattern Recognition, ICPR 1992. Conference A: Computer Vision and Applications, The Hague, Netherlands, August 30-September 3, 1992. pages 246-249, IEEE, 1992. [doi]

Abstract

Abstract is missing.