| Record ID | marc_loc_2016/BooksAll.2016.part38.utf8:149620830:1109 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part38.utf8:149620830:1109?format=raw |
LEADER: 01109cam a22002897i 4500
001 2010929576
003 DLC
005 20151215081644.0
008 100526s2010 gw a b 101 0 eng
010 $a 2010929576
020 $a9783642140518 (alk. paper)
020 $a3642140513 (alk. paper)
040 $aDLC$beng$erda$cDLC
042 $apcc
050 00 $aMLCM 2015/42587 (Q)
111 2 $aITP (Conference)$n(1st :$d2010 :$cEdinburgh, Scotland),$jcreator.
245 10 $aInteractive Theorem Proving :$bFirst International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010, Proceedings /$cMatt Kaufmann, Lawrence C. Paulson (Eds.).
264 1 $aBerlin ;$aNew York :$bSpringer,$c[2010]
300 $axi, 493 pages :$billustrations ;$c24 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
338 $avolume$bnc$2rdacarrier
490 0 $aLecture Notes in Computer Science,$x0302-9743 ;$v6172
504 $aIncludes bibliographical references and index.
650 0 $aComputer logic$vCongresses.
700 1 $aKaufmann, Matt,$eeditor.
700 1 $aPaulson, Lawrence C.,$eeditor.