| Record ID | ia:automatedreasoni0000unse |
| Source | Internet Archive |
| Download MARC XML | https://archive.org/download/automatedreasoni0000unse/automatedreasoni0000unse_marc.xml |
| Download MARC binary | https://www.archive.org/download/automatedreasoni0000unse/automatedreasoni0000unse_meta.mrc |
LEADER: 00863cam a2200253 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.