01607nam2-2200421li-450 99000020020020331620180312154746.03-540-66749-00020020USA010020020(ALEPH)000020020USA01002002020001109d1999----km-y0itay0103----baengGWLogic programmming and nonmonotonic reasoning5th International conference, LPNMR '99El Paso, Texas, USA, December 2-4, 1999proceedingsMichael Gelfond ... [et al.] (eds.)BerlinSpringer-Verlagcopyr. 1999IX, 388 p.ill.24 cmLecture notes in artificial intelligence173000100199922001Lecture notes in artificial intelligencecongressiel paso1999elaboratori elettroniciprogrammazionecongressi1999logica matematicacongressi19990051Programmazione. Tecnica di sviluppo dei programmiGelfond,MichaelInternational conference LPNMR '995.El Paso1999753443Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000200200203316006.3 LNIA (1730)0024390006.300106811BKSCI1999011920001110USA011713ALANDI9020010402USA01151120020403USA011627PATRY9020040406USA011614Logic programmming and nonmonotonic reasoning1515695UNISA