01768nam2-2200457li-450 99000020142020331620180312154747.03-540-63255-70020142USA010020142(ALEPH)000020142USA0100201422001999021997-------y0itay0103----baengGWLogic programming and nonmonotonicreasoning4th International conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997proceedingsJurgen Dix ... [et al.] (eds.)BerlinoSpringer-Verlagcopyr. 1997X, 452 p.ill.23 cmLecture notes in artificial intelligence1265serie principale: lecture notes incomputer science00100199922001Lecture notes in artificial intelligencecongressidagstuhl1997elaboratori elettroniciprogrammazionecongressi1997intelligenza artificialecongressi1997logica matematicacongressi19970063Intelligenza artificiale [precedent. 001.535]Dix,JürgenInternational conference LPNMR'974.Dagstuhl1997753451Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000201420203316006.3 LNAI (1265)0020883006.300106718BKSCI1999021120001110USA011714ALANDI9020010330USA01101720020403USA011628PATRY9020040406USA011614ANGELA9020081201USA011310Logic programming and nonmonotonicreasoning1515703UNISA