| Record ID | marc_loc_2016/BooksAll.2016.part29.utf8:184608013:1001 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part29.utf8:184608013:1001?format=raw |
LEADER: 01001cam a22002774a 4500
001 2002020906
003 DLC
005 20080308090501.0
008 020312s2002 gw a b 001 0 eng
010 $a 2002020906
020 $a3540433767 (softcover : alk. paper)
040 $aDLC$cDLC$dDLC
042 $apcc
050 00 $aQA76.9.L63$bN55 2002
082 00 $a004.01/5113$221
100 1 $aNipkow, Tobias,$d1958-
245 10 $aIsabelle/HOL :$ba proof assistant for higher-order logic /$cTobias Nipkow, Lawrence C. Paulson, Markus Wenzel.
260 $aBerlin ;$aNew York :$bSpringer,$cc2002.
300 $axiii, 218 p. :$bill. ;$c24 cm.
440 0 $aLecture notes in computer science ;$v2283
504 $aIncludes bibliographical references (p. [209]-211) and index.
650 0 $aComputer logic.
650 0 $aAutomatic theorem proving.
700 1 $aPaulson, Lawrence C.
700 1 $aWenzel, Markus.
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0817/2002020906-d.html