Chandrasekaran, B .

Diagrammatic reasoning: cognitive and computational perspectives Textual Documents - London : AAAI Press/MIT Press , 1995. - NULL ; NULL.

Artificial intelligence Automatic theorem proving Image processing Problem solving

006.33 / DIA