01651nam2-2200433li-450 99000020237020331620180312154707.03-540-64675-20020237USA010020237(ALEPH)000020237USA0100202372001999031998-------y0itay0103----baengGWAutomated deduction - CADE-1515th International conference on automated deductionLindau, Germany, July 5-10, 1998proceedingsClaude Kirchner ... [et al.] (eds.)Berlin [etc.]Springer-Verlagcopyr. 1998Lecture notes in artificial intelligence1421serie principale: lecture notes incomputer science00100199922001Lecture notes in artificial intelligencecongressilindau1998intelligenza artificialecongressi1998logica matematicacongressi1998005131Logica matematica (Logica simbolica)Kirchner,ClaudeInternational conference on automated deduction15.Lindau1998746497Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000202370203316006.3 LNAI (1421)0022638006.300106750BKSCI1999032720001110USA011714ALANDI9020010330USA01115620020403USA011628PATRY9020040406USA011615ANGELA9020081201USA011323Automated deduction - CADE-151490086UNISA