Diagrammatic reasoning: congitive and computational perspectives - Chandrasekaran, B.; Glasgow, Janice; Narayanan, Hari N. (Cambridge: AAAI Press / The MIT press, 1995)
Index.
Includes bibliographical references.
Keywords: Automatic theorem proving; Artificial intelligence; Image processing; Problem solving