01426nam--2200385---450 99000111344020331620180312154826.03-540-44039-9000111344USA01000111344(ALEPH)000111344USA0100011134420021209d2002----km-y0ITAy0103-------baENGDETheorem proving in higher order logics15th International conference, TPHOLs 2002Hampton, VA, USA, August 20-23, 2002proceedingsVictor A.Carreno...[et al.] (eds.)Berlin [etc.]Springer-Verlagcopyr. 2002X, 347 p.ill.20 cmLecture notes in computer science24102001Lecture notes in computer science2410CondotteIdrodinamicaCongressi2002Elaboratori elettroniciProgrammazioneCongressi2002005.1Carreno,Victor A.International conference, TPHOLs 2002 <15. ; 2002 ; Hampton , VA , USA >554470ITACBSISBD990001113440203316001 LNCS (2410)0027309 CBS00100113227BKSCIDIGIUSEPPE9020021209USA011629DIGIUSEPPE9020021210USA011153PATRY9020040406USA011717Theorem proving in higher order logics981255UNISA