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-141490895UNISA01285nas 2200433-a 450 99621802190331620230203213020.01757-0417(DE-599)ZDB2732042-X(OCoLC)268995621(CKB)1000000000387820(CONSER)--2012268504(EXLCZ)99100000000038782020081105a20079999 --- -engurun|||||||||txtrdacontentcrdamediacrrdacarrierThe Interpreter and translator trainerManchester, UK St. Jerome PubRefereed/Peer-reviewed1750-399X ITTINTERPRETER AND TRANSLATOR TRAINERINTERPRET TRANSL TRAINTERPRET. TRANSL. TRAINTranslatorsTraining ofPeriodicalsTranslatorsTraining offast(OCoLC)fst01154841Periodicals.fastPhilology & LinguisticsTranslatorsTraining ofTranslatorsTraining of.418.02071Taylor & Francis.JOURNAL996218021903316The Interpreter and translator trainer2573666UNISA