01660nam2-2200433li-450 99000020457020331620180312154701.03-540-57826-90020457USA010020457(ALEPH)000020457USA01002045720001109d1993----km-y0itay0103----baengGWHigher order logic theorem provingand its applications6th International workshop HUG'93Vancouver, B. C., Canada, August 11-13, 1993 ; proceedingsJeffrey J. Joyce (ed.)Berlin [etc.]Springer-Verlagcopyr. 1993IX, 517 p.ill.24 cmLecture notes in computer science78000100202642001Lecture notes in computer sciencecongressivancouver1993elaboratori elettroniciprogrammazionecongressi1993linguaggi di programmazionecongressi1993logica matematicacongressi19930051Programmazione. Tecnica di sviluppo dei programmiJoyce,Jeffrey J.International workshop HUG'936.Vancouver1993746244Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000204570203316001 LNCS (780)001633300100103087BKSCI1995021220001110USA011714ALANDI9020010130USA01114620020403USA011628PATRY9020040406USA011615Higher order logic theorem provingand its applications1489243UNISA