| Record ID | ia:automatedtheorem0000newb |
| Source | Internet Archive |
| Download MARC XML | https://archive.org/download/automatedtheorem0000newb/automatedtheorem0000newb_marc.xml |
| Download MARC binary | https://www.archive.org/download/automatedtheorem0000newb/automatedtheorem0000newb_meta.mrc |
LEADER: 00914cam a22002414a 4500
001 00056315
003 DLC
005 20080308082108.0
008 000619s2001 nyua b 001 0 eng
010 $a 00056315
020 $a0387950753 (alk. paper)
040 $aDLC$cDLC$dDLC
042 $apcc
050 00 $aQA76.9.A96$bN49 2001
082 00 $a004/.01/5113$221
100 1 $aNewborn, Monroe.
245 10 $aAutomated theorem proving :$btheory and practice /$cMonty Newborn.
260 $aNew York :$bSpringer,$cc2001.
300 $axiii, 231 p. :$bill. ;$c24 cm.+$e1 computer laser optical disc (4 3/4 in)
504 $aIncludes bibliographical references (p. [207]-210) and index.
650 0 $aAutomatic theorem proving.
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0816/00056315-d.html
856 41 $3Table of contents only$uhttp://www.loc.gov/catdir/enhancements/fy0816/00056315-t.html