01364nam--2200385---450 99000183743020331620180312154735.03-540-40664-6000183743USA01000183743(ALEPH)000183743USA0100018374320040709d2003----km-y0ITAy0103-------baengDETheorem proving in higher order logics16. International conference, TPHOLs 2003Rome, Italy, September 2003proceedingsDavid Basin, Burkhart Wolff (eds.)Berlin [etc.]Springercopyr. 2003X, 366 p.ill.24 cmLecture notes in computer science27582001Lecture notes in computer science2758CondotteIdrodinamicaCongressi2003Elaboratori elettroniciProgrammazioneCongressi2003005.1BASIN,DavidWOLFF,BurkhartInternational conference, TPHOLs 2003 <16. ; 2003 ; Rome>564155ITACBSISBD990001837430203316001 LNCS 27580030223/CBS00100114083BKSCIRIVELLI9020040709USA011059RIVELLI9020040709USA011100Theorem proving in higher order logics949864UNISA