LEADER 01756nam0 22003493i 450 
001 AQ10006632
005 20251003044041.0
010   $a0387578269$bNew York
010   $a3540578269$bBerlin
100   $a20090911d1994    ||||0itac50      ba
101 | $aeng
102   $ade
181  1$6z01$ai $bxxxe  
182  1$6z01$an
200 1 $aHigher order logic theorem proving and its applications$e6. international workshop, HUG '93$eVancouver, B.C., Canada, August 11-13, 1993$eproceedings$fJeffrey J. Joyce, Carl-Johan Seger (eds.)
210   $aBerlin [etc.]$cSpringer$dc1994
215   $aIX, 517 p.$d24 cm
225 | $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$v780
300   $aNella pref.: HOL user's group workshop
410  0$1001MIL0030703$12001 $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$v780$1702 1$aGoos$b, Gerhard$3AQ1V006441$4340
676   $a004.015113$9Elaborazione dei dati, Scienza degli elaboratori, Informatica. Principi matematici. Logica matematica (Logica simbolica)$v22
702  1$aJoyce$b, Jeffrey J.$f <1960-    >$3AQ1V003512
702  1$aSeger$b, Carl-Johan H.$3AQ1V003513
712 12$aHOL users group workshop$d <6.$f ; 1993$e ; Vancouver>$3AQ1V003511
791 12$aHUG$d <6.$f ; 1993$e ; Vancouver>$3TO0V162721$zHOL users group workshop <6. ; 1993 ; Vancouver>
801  3$aIT$bIT-000000$c20090911
850   $aIT-BN0095          
912   $aAQ10006632
950  0$aBiblioteca Centralizzata di Ateneo$c193 v.$d 01COLL.     ING.                    LNCS$e 0102 0000018605  VMA   (0780               v. 780$fY $h19950313$i19950313
977   $a 01
996   $aHigher order logic theorem proving and its applications$91381960
997   $aUNISANNIO