| Record ID | marc_columbia/Columbia-extract-20221130-007.mrc:252818342:1552 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-007.mrc:252818342:1552?format=raw |
LEADER: 01552mam a22003854a 4500
001 3261830
005 20221020015955.0
007 cr un|||||||||
008 020312s2002 gw b 001 0 eng
010 $a 2002020906
016 7 $a963948105$2GyFmDB
020 $a3540433767 (softcover : alk. paper)
035 $a(OCoLC)ocm49320458
035 $9AUN7670CU
035 $a(NNC)3261830
035 $a3261830
040 $aDLC$cDLC$dC$Q$dOHX$dNNC
042 $apcc
050 00 $aQA76.9.L63$bI83 2002
072 7 $aQA$2lcco
082 00 $a004.01/5113$221
245 00 $aIsabelle/HOL :$ba proof assistant for higher-order logic /$cTobias Nipkow ... [and others].
260 $aBerlin ;$aNew York :$bSpringer,$c2002.
300 $axiii, 218 pages :$billustrations ;$c24 cm.
336 $atext$btxt$2rdacontent
337 $acomputer$bc$2rdamedia
490 1 $aLecture notes in computer science ;$v2283
504 $aIncludes bibliographical references and index.
530 $aAlso available via the World Wide Web.
650 0 $aComputer logic.$0http://id.loc.gov/authorities/subjects/sh97004631
650 0 $aAutomatic theorem proving.$0http://id.loc.gov/authorities/subjects/sh85010111
700 1 $aNipkow, Tobias,$d1958-$0http://id.loc.gov/authorities/names/n94038896
830 0 $aLecture notes in computer science ;$v2283.$0http://id.loc.gov/authorities/names/n42015162
856 41 $uhttp://link.springer-ny.com/link/service/series/0558/tocs/t2283.htm$zRestricted to Springer LINK subscribers
852 00 $boff,eng$hQA76.9.L63$iI83 2002