Diagrammatic reasoning : cognitive and computational perspectives
Saved in:
| Other Authors: | Chandrasekaran, B. 1942- (Editor), Glasgow, Janice (Editor), Narayanan, N. Hari (Editor) |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Menlo Park, California :
AAAI Press,
1995
|
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Automated Reasoning :
by: Wos, Larry
Published: (1992) -
Automated Reasoning :
Published: (1992) -
Symbolic logic and mechanical theorem proving
by: Chang, Chin-Liang 1937-
Published: (1987) -
Mechanical geometry theorem proving
by: Chou, Shang-Ching 1942-
Published: (1988) -
Deduction systems
by: Socher-Ambrosius, Rolf
Published: (1997)