Diagrammatic reasoning : cognitive and computational perspectives /

Bibliographic Details

Other Authors:	Chandrasekaran B., 1942-, Glasgow, Janice, Narayanan, N. Hari
Format:	Book
Language:	English
Published:	Menlo Park, Calif. : Cambridge, Mass. : AAAI Press ; MIT Press, [1995]
Subjects:	Automatic theorem proving. Artificial intelligence. Image processing. Problem solving.