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-141490895UNISA01080nam--2200385---450-99000577947020331620121113172809.090-04-11995-7000577947USA01000577947(ALEPH)000577947USA0100057794720121113d2003----km-y0itay50------baengNL||||||||001yyAndreiastudies in manliness and courage in classical antiquityedited by Ralph M. Rosen and Ineke SluiterLeidenBostonBrill2003359 p.25 cmMnemosyne. Supplementum2382001Mnemosyne. Supplementum2382001001-------2001Lingua grecaSemanticaBNCF482ROSEN, Ralph M.SLUITER,InekeITsalbcISBD990005779470203316CL A 1118468 DSABKDSADSA9020121113USA011728Andreia168810UNISA