01703nam2-2200445li-450 99000020239020331620180312154708.03-540-63104-60020239USA010020239(ALEPH)000020239USA0100202392001999021997-------y0itay0103----baengGWAutomated deduction - CADE-1414th International conference on automated deductionTownsville, North Queensland, AustraliaJuly 13-17, 1997proceedingsWilliam McCune (ed.)BerlinoSpringer-Verlagcopyr. 1997XIV, 462 p.ill.23 cmLecture notes in artificial intelligence1249serie principale: lecture notes incomputer science00100199922001Lecture notes in artificial intelligencecongressitownsville1997intelligenza artificialecongressi1997logica matematicacongressi1997005131Logica matematica (Logica simbolica)McCune,WilliamInternational conference on automated deduction14.Townsville1997746746Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000202390203316006.3 LNAI (1249)002085800106715006.3BKSCI1999021120001110USA011714ALANDI9020010329USA01174620020403USA011628PATRY9020040406USA011615ANGELA9020081201USA011309Automated deduction - CADE-141490895UNISA