000 | 00699cam a2200241ua 4500 | ||
---|---|---|---|
001 | 2279 | ||
005 | 20220105002159.0 | ||
007 | ta | ||
008 | 080731s1995 g b000 u eng u | ||
041 | 1 |
_aeng _hNULL |
|
082 | 1 | 4 |
_a006.33 _bDIA |
100 | 1 | _aChandrasekaran, B . | |
245 | 0 | 0 |
_aDiagrammatic reasoning: cognitive and computational perspectives _hTextual Documents |
260 |
_aLondon : _bAAAI Press/MIT Press , _c1995. |
||
300 |
_aNULL ; _cNULL. |
||
653 | 0 | _aArtificial intelligence | |
653 | 0 | _aAutomatic theorem proving | |
653 | 0 | _aImage processing | |
653 | 0 | _aProblem solving | |
942 | _cBK | ||
999 |
_c299913 _d299913 |