01579nam2-2200421li-450 99000021106020331620180312154712.03-540-60275-50021106USA010021106(ALEPH)000021106USA01002110620001109d1995----km-y0itay0103----baengGWHigher order logic theorem provingand its applications8th International workshopAspenGrove, UT, USA, September 11-14, 1995proceedingsE. Thomas Schubert ... [etc.] (eds.)Berlin [etc.]Springer-Verlagcopyr. 1995VIII, 400 p.ill.25 cmLecture notes in computer science97100100202642001Lecture notes in computer sciencecongressiaspen grove1995elaboratori elettronicicongressi1995linguaggi di programmazionecongressi1995logica matematicacongressi19950051Programmazione. Tecnica di sviluppo dei programmiSchubert,E. ThomasSistema bibliotecario di Ateneo dell' Università di SalernoRICA990000211060203316001 LNCS (971)001869600100103754BKSCI1996040520001110USA011714ALANDI9020010131USA01164120020403USA011629PATRY9020040406USA011615Higher order logic theorem provingand its applications1489249UNISA