| Record ID | marc_loc_2016/BooksAll.2016.part24.utf8:101302797:913 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part24.utf8:101302797:913?format=raw |
LEADER: 00913pam a2200265 a 4500
001 95014683
003 DLC
005 19950907155203.2
008 950323s1995 caua b 001 0 eng
010 $a 95014683
020 $a0262571129
040 $aDLC$cDLC$dDLC
050 00 $aQA76.9.A96$bD53 1995
082 00 $a006.3/3$220
245 00 $aDiagrammatic reasoning :$bcognitive and computational perspectives /$cB. Chandrasekaran, Janice Glasgow, N. Hari Narayanan, editors.
260 $aMenlo Park, Calif. :$bAAAI Press ;$aCambridge, Mass. :$bMIT Press,$cc1995.
300 $axxvii, 780 p. :$bill. ;$c23 cm.
504 $aIncludes bibliographical references and index.
650 0 $aAutomatic theorem proving.
650 0 $aArtificial intelligence.
650 0 $aImage processing.
650 0 $aProblem solving.
700 1 $aChandrasekaran B.,$d1942-
700 1 $aGlasgow, Janice.
700 1 $aNarayanan, N. Hari.