TY  - BOOK
AU  - Chandrasekaran,B .
TI  - Diagrammatic reasoning: cognitive and computational perspectives
U1  - 006.33 
PY  - 1995///
CY  - London : 
PB  - AAAI Press/MIT Press , 
KW  - Artificial intelligence
KW  - Automatic theorem proving
KW  - Image processing
KW  - Problem solving
ER  -