Diagrammatic reasoning : cognitive and computational perspectives /
Chandrasekaran, B.,1942-
Glasgow, Janis.
Narayanan, N. Hari.
Menlo Park, Calif. ; London : AAAI Press / The MIT Press,
1995.
Includes bibliographies and index
Automatic theorem proving.
Artificial intelligence.
Problem solving.
Image processing.