01072cam0 2200301 450 E60020003244220210917090937.0888526325920071214d1991 |||||ita|0103 baitafreITVarius multiplex multiformisdialogo a distanza su AdrianoA. MozzilloM. Yourcenarcon una nota di Georges ValletNapoliF. Di Mauro199146 p., 1 ritr.18 cmCocumella2001LAEC000200952001 *Cocumella2MOZZILLO, AtanasioAF0002384607033897Yourcenar, MargueriteAF00014244070Vallet, GeorgesAF00020930070ITUNISOB20210917RICAUNISOBUNISOB900|Opusc69189E600200032442M 102 Monografia moderna SBNM900|Opusc000004Si69189acquistopregresso3UNISOBUNISOB20071214085143.020210917090937.0rovitoVarius multiplex multiformis1583328UNISOB01635nam2-2200433li-450 99000020207020331620220103124506.03-540-55602-80020207USA010020207(ALEPH)000020207USA01002020720001109d1992----km-y0itay0103----baengGWAutomated deductionCADE-1111th International conference on automated deduction, Saratoga Springs, NY, USA, June 15-18, 1992proceedingsD. Kapur (ed.)Berlin [etc.]Springer-Verlagcopyr. 1992XV, 793 p.ill.25 cmLecture notes in artificial intelligence607serie principale: lecture notes incomputer science00100199922001Lecture notes in artificial intelligencecongressisaratoga springs1992intelligenza artificialecongressi1992logica matematicacongressi1992005131Logica matematica (Logica simbolica)Kapur,DeepakInternational conference on automated deduction11.Saratoga Springs1992754765Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000202070203316006.3 LNAI (607)0014578006.300106592BKSCI1999013120001110USA011714ALANDI9020010328USA01111920020403USA011628PATRY9020040406USA011615Automated deduction1518971UNISA