01570nam2-2200421li-450 99000020485020331620180312154842.03-540-58450-10020485USA010020485(ALEPH)000020485USA01002048520001109d1994----km-y0itay0103----baengGWHigher order logic theorem provingand its applications7th international workshop, Valletta, Malta, September 19-22, 1994proceedingsThomas F. Melham (ed.)Berlin [etc.]Springer-Verlagcopyr. 1994IX, 470 p.ill.24 cmLecture notes in computer science85900100202642001Lecture notes in computer sciencecongressivalletta1994elaboratori elettroniciprogrammazionecongressi1994linguaggi di programmazionecongressi1994logica matematicacongressi19940051Programmazione. Tecnica di sviluppo dei programmiMelham,Thomas F.Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000204850203316001 LNCS (859)001638400100103661BKSCI1995021220001110USA011714ALANDI9020010130USA01161420020403USA011628PATRY9020040406USA011615Higher order logic theorem provingand its applications1489249UNISA