| Record ID | marc_records_scriblio_net/part22.dat:28185773:863 |
| Source | Scriblio |
| Download Link | /show-records/marc_records_scriblio_net/part22.dat:28185773:863?format=raw |
LEADER: 00863cam 2200253 a 4500
001 91043171
003 DLC
005 19990121122400.8
008 911106s1992 nyu b 001 0 eng
010 $a 91043171
020 $a007911251X :$c$49.95
040 $aDLC$cDLC$dDLC
050 00 $aQA76.9.A96$bA93 1991
082 00 $a006.3$220
245 00 $aAutomated reasoning :$bintroduction and applications /$cLarry Wos ... [et al.].
250 $a2nd ed.
260 0 $aNew York :$bMcGraw-Hill,$cc1992.
300 $axvi, 656 p. ;$c24 cm. +$e1 computer disk (5 1/4 in.)
500 $aSystem requirements for computer disk (OTTO 2.2): IBM PC compatible or Sun workstation.
504 $aIncludes bibliographical references and index.
650 0 $aAutomatic theorem proving.
650 0 $aArtificial intelligence.
650 0 $aComputer programming.
700 10 $aWos, Larry.