| Record ID | marc_loc_2016/BooksAll.2016.part18.utf8:1304800:879 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part18.utf8:1304800:879?format=raw |
LEADER: 00879cam a2200265 a 4500
001 87013148
003 DLC
005 19990122103935.8
008 870421s1988 nju b 00110 eng
010 $a 87013148
020 $a013054552X (pbk.) :$c$9.50
040 $aDLC$cDLC$dDLC
050 00 $aQA76.9.A96$bW67 1988
082 00 $a006.3$219
100 10 $aWos, Larry.
245 10 $aAutomated reasoning :$b33 basic research problems /$cLarry Wos.
260 0 $aEnglewood Cliffs, N.J. :$bPrentice-Hall,$cc1988.
300 $axiii, 319 p. ;$c23 cm.
500 $aCompanion vol. to: Automated reasoning : introduction and applications / Larry Wos ... [et al.]. c1984.
504 $aBibliography: p. 273-282.
500 $aIncludes index.
650 0 $aAutomatic theorem proving.
650 0 $aArtificial intelligence.
650 0 $aComputer programming.
730 01 $aAutomated reasoning.