A theorem proving based pattern recognition system
- 1 January 1986
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Understanding objects with curved surfaces from a single perspective view of boundariesArtificial Intelligence, 1985
- A theory of Origami worldArtificial Intelligence, 1980
- On seeing thingsArtificial Intelligence, 1971