LEADER 01426nam--2200385---450 
001 990001113440203316
005 20180312154826.0
010   $a3-540-44039-9
035   $a000111344
035   $aUSA01000111344
035   $a(ALEPH)000111344USA01
035   $a000111344
100   $a20021209d2002----km-y0ITAy0103-------ba
101 0 $aENG
102   $aDE
200 1 $aTheorem proving in higher order logics$e15th International conference, TPHOLs 2002$eHampton, VA, USA, August 20-23, 2002$eproceedings$fVictor A.Carreno...[et al.] (eds.)
210   $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 2002
215   $aX, 347 p.$cill.$d20 cm
225   $aLecture notes in computer science$v2410
410   $12001$aLecture notes in computer science$v2410
610 1 $aCondotte$aIdrodinamica$aCongressi$a2002
610 1 $aElaboratori elettronici$aProgrammazione$aCongressi$a2002
676   $a005.1
702  1$aCarreno,$bVictor A.
710 12$aInternational conference, TPHOLs 2002 <15. ; 2002 ; Hampton , VA , USA >$0554470
801  0$aITA$bCBS$gISBD
912   $a990001113440203316
951   $a001 LNCS (2410)$b0027309 CBS$c001$d00113227
959   $aBK
969   $aSCI
979   $aDIGIUSEPPE$b90$c20021209$lUSA01$h1629
979   $aDIGIUSEPPE$b90$c20021210$lUSA01$h1153
979   $aPATRY$b90$c20040406$lUSA01$h1717
996   $aTheorem proving in higher order logics$9981255
997   $aUNISA