LEADER 01364nam--2200385---450 
001 990001837430203316
005 20180312154735.0
010   $a3-540-40664-6
035   $a000183743
035   $aUSA01000183743
035   $a(ALEPH)000183743USA01
035   $a000183743
100   $a20040709d2003----km-y0ITAy0103-------ba
101 0 $aeng
102   $aDE
200 1 $aTheorem proving in higher order logics$e16. International conference, TPHOLs 2003$eRome, Italy, September 2003$eproceedings$fDavid Basin, Burkhart Wolff (eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2003
215   $aX, 366 p.$cill.$d24 cm
225   $aLecture notes in computer science$v2758
410   $12001$aLecture notes in computer science$v2758
610 1 $aCondotte$aIdrodinamica$aCongressi$a2003
610 1 $aElaboratori elettronici$aProgrammazione$aCongressi$a2003
676   $a005.1
702  1$aBASIN,$bDavid
702  1$aWOLFF,$bBurkhart
710 12$aInternational conference, TPHOLs 2003 <16. ; 2003 ; Rome>$0564155
801  0$aITA$bCBS$gISBD
912   $a990001837430203316
951   $a001 LNCS 2758$b0030223/CBS$c001$d00114083
959   $aBK
969   $aSCI
979   $aRIVELLI$b90$c20040709$lUSA01$h1059
979   $aRIVELLI$b90$c20040709$lUSA01$h1100
996   $aTheorem proving in higher order logics$9949864
997   $aUNISA