| Record ID | ia:computationallog0000boye |
| Source | Internet Archive |
| Download MARC XML | https://archive.org/download/computationallog0000boye/computationallog0000boye_marc.xml |
| Download MARC binary | https://www.archive.org/download/computationallog0000boye/computationallog0000boye_meta.mrc |
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.