| Record ID | marc_loc_2016/BooksAll.2016.part12.utf8:17408692:747 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part12.utf8:17408692:747?format=raw |
LEADER: 00747cam a22002531i 4500
001 79051693
003 DLC
005 19940401093342.6
008 790706s1979 nyu b 00110 eng
010 $a 79051693 //r943
020 $a0121229505
040 $aDLC$cDLC$dDLC
050 00 $aQA76.9.A96$bB68
082 00 $a519.4
100 10 $aBoyer, Robert S.
245 12 $aA computational logic /$cRobert S. Boyer and J Strother Moore.
260 0 $aNew York :$bAcademic Press,$cc1979.
300 $axiv, 397 p. ;$c24 cm.
490 1 $aACM monograph series
504 $aBibliography: p. 385-387.
500 $aIncludes index.
650 0 $aAutomatic theorem proving.
700 10 $aMoore, J. Strother,$d1947-$ejoint author.
830 0 $aACM monograph series.