| Record ID | marc_columbia/Columbia-extract-20221130-001.mrc:151077828:1290 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-001.mrc:151077828:1290?format=raw |
LEADER: 01290cam a2200361 i 4500
001 121317
005 20220518201552.0
008 821206t19791979nyu b 001 0 eng
010 $a 79051693
020 $a0121229505
035 $a(OCoLC)5196669
035 $a(OCoLC)ocm05196669
035 $a(CStRLIN)NYCG82-B64102
035 $9AAN8949CU
035 $a(NNC)121317
035 $a121317
050 00 $aQA76.9.A96$bB68
082 0 $a519.4
090 $aQA76.9.A96$bB68
100 1 $aBoyer, Robert S.$0http://id.loc.gov/authorities/names/n79073003
245 12 $aA computational logic /$cRobert S. Boyer and J. Strother Moore.
260 $aNew York :$bAcademic Press,$c[1979], ©1979.
300 $axiv, 397 pages ;$c24 cm.
336 $atext$2rdacontent
337 $aunmediated$2rdamedia
338 $avolume$2rdacarrier
490 1 $aACM monograph series
500 $aIncludes index.
504 $aBibliography: p. 385-387.
650 0 $aAutomatic theorem proving.$0http://id.loc.gov/authorities/subjects/sh85010111
700 1 $aMoore, J Strother,$d1947-$eauthor.$4http://id.loc.gov/vocabulary/relators/aut$0http://id.loc.gov/authorities/names/n79073002
830 0 $aACM monograph series.$0http://id.loc.gov/authorities/names/n83826897
852 00 $boff,eng$hQA76.9.A96$iB68