01756nam0 22003493i 450 AQ1000663220251003044041.00387578269New York3540578269Berlin20090911d1994 ||||0itac50 baengdez01i xxxe z01nHigher order logic theorem proving and its applications6. international workshop, HUG '93Vancouver, B.C., Canada, August 11-13, 1993proceedingsJeffrey J. Joyce, Carl-Johan Seger (eds.)Berlin [etc.]Springerc1994IX, 517 p.24 cmLecture notes in computer scienceedited by G. Goos and J. Hartmanis780Nella pref.: HOL user's group workshop001MIL00307032001 Lecture notes in computer scienceedited by G. Goos and J. Hartmanis780702 1Goos, GerhardAQ1V006441340004.015113Elaborazione dei dati, Scienza degli elaboratori, Informatica. Principi matematici. Logica matematica (Logica simbolica)22Joyce, Jeffrey J. <1960- >AQ1V003512Seger, Carl-Johan H.AQ1V003513HOL users group workshop <6. ; 1993 ; Vancouver>AQ1V003511HUG <6. ; 1993 ; Vancouver>TO0V162721HOL users group workshop <6. ; 1993 ; Vancouver>ITIT-00000020090911IT-BN0095 AQ10006632Biblioteca Centralizzata di Ateneo193 v. 01COLL. ING. LNCS 0102 0000018605 VMA (0780 v. 780Y 1995031319950313 01Higher order logic theorem proving and its applications1381960UNISANNIO