01498nam2-2200421li-450 99000020911020331620180312154708.03-540-66463-70020911USA010020911(ALEPH)000020911USA01002091120001109d1999----km-y0itay0103----baengGWTheorem proving in higher order logics12th International conference, TPHOLs '99Nice, France, September 14-17, 1999ProceedingsYves Bertot ... [et al.] (eds.)BerlinSpringer-Verlagcopyr. 1999VIII, 358 p.ill.22 cmLecture notes in computer science169000100202642001Lecture notes in computer sciencecongressinizza1999logica matematicacongressi1999logica simbolicacongressi19990040151.Bertot,YvesInternational conference TPHOLs '9912.Nizza1999746225Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000209110203316001 LNCS (1690)0024081001001042937BKSCI1999011920001110USA011714ALANDI9020010208USA01174520020403USA011629PATRY9020040406USA011615Theorem proving in higher order logics1489219UNISA