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-141490895UNISA01329cam2 22003253 450 SOBE0004013920140211142812.0351901650820140211d1985 |||||ita|0103 balatDE1: Libri 1.-6editio stereotypa editionis prioris (1906)Stutgardiaein aedibus B. G. Teubneri1985XVI, 555 p.21 cmBibliotheca scriptorum Graecorum et Romanorum Teubneriana001LAEC000168142001 *Bibliotheca scriptorum Graecorum et Romanorum Teubneriana001SOBE000401352001 C. Plini Secundi Naturalis historiae libri 37. / post Ludovici Iani Obitum recognovit et scripturae discrepantia adiecta edidit Carolus MayhoffPlinius Secundus, GaiusA600200032131070208975Ianus, LudovicusSOBA00009330070Mayhoff, Karl Friedrich TheodorSOBA00009331070ITUNISOB20140211RICAUNISOBUNISOB870|Coll|15|A79355SOBE00040139M 102 Monografia moderna SBNW870|Coll|15|A000064-1SI79355acquistoNcutoloUNISOBUNISOB20140211142636.020140211142722.0cutolo1: Libri 1.-61711962UNISOB