01490nam2-2200409li-450-9900002048502033163-540-58450-10020485USA010020485(ALEPH)000020485USA01002048520001109d1991994-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 science859altro genere00100202642001Lecture 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)001638400100103661BKSCI1995021220001110USA011714ALANDI9020010130USA01161420020403USA011628PATRY9020040406USA011615UNISA