01625nam2-2200445li-450 99000020985020331620180312154650.03-540-64987-50020985USA010020985(ALEPH)000020985USA01002098520001109d1998----km-y0itay0103----baengGWTheorem proving in higher order logics11th International conference, TPHOLs'98 Canberra, Australia September 27 - October 1, 1998 proceedingsJim Grundy , Malcolm Newey (eds.)Berlin [etc.]Springer-Verlagcopyr. 1998VIII, 496 p.ill.20 cmLecture notes in computer science147900100202642001Lecture notes in computer sciencecongressicanberra1998logica matematicacongressi1998logica simbolicacongressi1998matematica applicata agli elaboratoricongressi19980040151.Grundy,JimNewey,MalcolmInternational conference TPHOLs'9811.Canberra1998746199Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000209850203316001 LNCS (1479)002278400100104168BKSCI1999031820001110USA011714ALANDI9020010207USA01150620020403USA011629PATRY9020040406USA011615Theorem proving in higher order logics1489178UNISA