01617nam2-2200433li-450 99000020153020331620180312154908.03-540-56433-00020153USA010020153(ALEPH)000020153USA01002015320001109d1993----km-y0itay0103----baengGWNonmonotonic and inductive logicsecond international workshop, Reinhardsbrunn, Germany, December 2-6 1991proceedingsG. Brewka ... [et al.] (eds.)Berlin [etc.]Springer-Verlagcopyr. 1993VIII, 332 p.ill.24 cmLecture notes in artificial intelligence659serie principale: lecture notes incomputer science00100199922001Lecture notes in artificial intelligencecongressireinhardsbrunn1991elaboratori elettroniciprogrammazionecongressi1991intelligenza artificialecongressi1991logica matematicacongressi1991005131Logica matematica (Logica simbolica)Brewka,GerhardSistema bibliotecario di Ateneo dell' Università di SalernoRICA990000201530203316006.3 LNIA (659)0015082006.300106602BKSCI1999013120001110USA011714ALANDI9020010328USA01132320020403USA011628PATRY9020040406USA011614Nonmonotonic and inductive logic1501917UNISA