01365nam2-2200409li-450 99000020488020331620180312154758.03-540-58244-40020488USA010020488(ALEPH)000020488USA01002048820001109d1994----km-y0itay0103----baengGWIsabellea generic theorem proverLawrence C. Paulsonwith contributions by Tobias NipkowBerlin [etc.]Springer-Verlagcopyr. 1994XVII, 321 p.ill.24 cmLecture notes in computer science82800100202642001Lecture notes in computer scienceelaborazione elettronicamodelli matematicilogica matematica004Elab. dei dati Scienza degli elab. InformaticaPaulson,Lawrence C.62096Nipkow,TobiasSistema bibliotecario di Ateneo dell' Università di SalernoRICA990000204880203316001 LNCS (828)001636500100103141BKSCI1995021220001110USA011714ALANDI9020010130USA01150220020403USA011628PATRY9020040406USA011615Isabelle1381997UNISA