| Record ID | marc_loc_2016/BooksAll.2016.part42.utf8:36754265:953 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part42.utf8:36754265:953?format=raw |
LEADER: 00953cam a2200277 i 4500
001 2015001271
003 DLC
005 20151023083107.0
008 150123s2015 mau b 001 0 eng
010 $a 2015001271
020 $a9780262527958 (pbk. : alk. paper)
040 $aDLC$beng$cDLC$erda$dDLC
042 $apcc
050 00 $aQA76.9.A96$bF745 2015
082 00 $a511.3/6028563$223
100 1 $aFriedman, Daniel P.
245 14 $aThe little prover /$cDaniel P. Friedman, Carl Eastlund ; drawings by Duane Bibby ; foreword by J Strother More.
264 1 $aCambridge, Massachusetts ;$aLondon, England :$bMIT Press,$c[2015]
300 $axiii, 229 pages ;$c23 cm
336 $atext$2rdacontent
337 $aunmediated$2rdamedia
338 $avolume$2rdacarrier
504 $aIncludes bibliographical references (pages217218) and index.
650 0 $aAutomatic theorem proving.
650 0 $aLISP (Computer program language)
700 1 $aEastlund, Carl.