01722nam2-2200445li-450 99000020203020331620180312154755.03-540-61511-30020203USA010020203(ALEPH)000020203USA0100202032001999021996-------y0itay0103----baengGWAutomated deduction - Cade-1313th International conference on automata deductionNew Brunswich, NJ, USA, July 30 - August 3, 1996 :proceedingsM. A. McRobbie ... [et al.] (eds.)Berlin [etc.]Springer-Verlagcopyr. 1996XV, 764 p.ill.23 cmLecture notes in artificial intelligence1104serie principale: lecture notes incomputer science00100199922001Lecture notes in artificial intelligencecongressinew brunswick1996intelligenza artificialecongressi1996logica matematicacongressi1996005131Logica matematica (Logica simbolica)McRobbie,Michael A.International conference on automated eduction13.New Brunswick1996753261Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000202030203316006.3 LNAI (1104)0019212006.300106686BKSCI1999021120001110USA011714ALANDI9020010329USA01161620020403USA011628PATRY9020040406USA011615ANGELA9020081201USA011226Automated deduction - Cade-131515197UNISA