01557nam2-2200397li-450 99000111133020331620180312154619.03-540-43931-5000111133USA01000111133(ALEPH)000111133USA010001111332002002122002-------y0itay0103----baENGGWAutomated deduction - CADE-1818th International conference on automated deductionCopenhagen, Denmark, July 27-30, 2002proceedingsAndrei Voronkov (ed.)BerlinSpringer-Verlagcopyr. 2002XII, 534 p.ill.23 cmLecture notes in artificial intelligence239200100199922001Lecture notes in artificial intelligenceintelligenza artificialecongressi2392logica matematicacongressi2392005131Logica matematica (Logica simbolica)Voronkov,AndreiInternational conference on automated deduction <18.; 2002 ; Copenhagen , Denmark >745891Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990001111330203316006.3 LNIA (2392)0027050 CBS006.300112058BKSCIDIGIUSEPPE9020021204USA011048DIGIUSEPPE9020021216USA011131DIGIUSEPPE9020021216USA011132PATRY9020040406USA011717Automated deduction - CADE-181488056UNISA01353nas 2200421-a 450 99620914970331620240413022805.0(CKB)110978978383983(CONSER)sn-90005547-(EXLCZ)9911097897838398319900907a19uu9999 --- aengtxtrdacontentcrdamediacrrdacarrierThe pressLittleton, Colo. Wiesner, Inc1 online resourcePublished: Littleton, Colo. : Wiesner, Inc., <Aug. 1990->; Overland Park, KS : Primedia Intertec, <Feb. 1999-Aug. 2000>Print version: Press (Littleton, Colo.) (DLC)sn 90005547 (OCoLC)22341598 1052-6587 Press magazinePRESSPressTextile printingPeriodicalsScreen process printingPeriodicalsScreen process printingfast(OCoLC)fst01109328Textile printingfast(OCoLC)fst01148939Periodicals.fastTextile printingScreen process printingScreen process printing.Textile printing.746JOURNAL996209149703316exl_impl conversionThe Press1901893UNISA