| Record ID | marc_columbia/Columbia-extract-20221130-006.mrc:416955454:1111 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-006.mrc:416955454:1111?format=raw |
LEADER: 01111mam a22003014a 4500
001 2955777
005 20221013041007.0
008 000619t20012001nyua b 001 0 eng
010 $a 00056315
020 $a0387950753 (alk. paper)
035 $a(OCoLC)ocm44461999
035 $9ASK0666CU
035 $a2955777
040 $aDLC$cDLC$dC#P$dOHX
042 $apcc
050 00 $aQA76.9.A96$bN49 2001
072 7 $aQA$2lcco
082 00 $a004/.01/5113$221
100 1 $aNewborn, Monroe.$0http://id.loc.gov/authorities/names/n80050152
245 10 $aAutomated theorem proving :$btheory and practice /$cMonty Newborn.
260 $aNew York :$bSpringer,$c[2001], ©2001.
300 $axiii, 231 pages :$billustrations ;$c25 cm +$e1 computer disc (4 3/4 in.)
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
504 $aIncludes bibliographical references (p. [207]-210) and index.
538 $aSystem requirements: Unix, Linux, Solaris, FreeBSD, or AIX.
650 0 $aAutomatic theorem proving.$0http://id.loc.gov/authorities/subjects/sh85010111
852 00 $boff,eng$hQA76.9.A96$iN49 2001