| Record ID | marc_loc_2016/BooksAll.2016.part18.utf8:166558515:807 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part18.utf8:166558515:807?format=raw |
LEADER: 00807pam a2200253 a 4500
001 88022175
003 DLC
005 19890110143557.5
008 880624s1988 mau b 00110 eng
010 $a 88022175
020 $a0121229521
050 0 $aQA76.9.A96$bB684 1988
082 0 $a511.3$219
100 10 $aBoyer, Robert S.
245 12 $aA computational logic handbook /$cRobert S. Boyer, J Strother Moore.
260 0 $aBoston :$bAcademic Press,$cc1988.
300 $axvi, 408 p. ;$c24 cm.
490 1 $aPerspectives in computing ;$vvol. 23
504 $aBibliography: p. 397-399.
500 $aIncludes index.
650 0 $aAutomatic theorem proving.
650 0 $aLogic, Symbolic and mathematical.
700 10 $aMoore, J Strother,$d1947-
830 0 $aPerspectives in computing (Boston, Mass.) ;$vvol. 23.