01635nam2-2200433li-450 99000020207020331620220103124506.03-540-55602-80020207USA010020207(ALEPH)000020207USA01002020720001109d1992----km-y0itay0103----baengGWAutomated deductionCADE-1111th International conference on automated deduction, Saratoga Springs, NY, USA, June 15-18, 1992proceedingsD. Kapur (ed.)Berlin [etc.]Springer-Verlagcopyr. 1992XV, 793 p.ill.25 cmLecture notes in artificial intelligence607serie principale: lecture notes incomputer science00100199922001Lecture notes in artificial intelligencecongressisaratoga springs1992intelligenza artificialecongressi1992logica matematicacongressi1992005131Logica matematica (Logica simbolica)Kapur,DeepakInternational conference on automated deduction11.Saratoga Springs1992754765Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000202070203316006.3 LNAI (607)0014578006.300106592BKSCI1999013120001110USA011714ALANDI9020010328USA01111920020403USA011628PATRY9020040406USA011615Automated deduction1518971UNISA