01629nam2-2200433li-450 99000020037020331620180312154829.03-540-58025-50020037USA010020037(ALEPH)000020037USA01002003720001109d1994----km-y0itay0103----baengGWExtension of logic programming4th International workshop ELP'93St. Andrews U.K., March 29-April 1, 1993proceedingsRoy Dyckhoff (ed.)Berlin [etc.]Springer-Verlagcopyr. 1994VIII, 360 p.ill.24 cmLecture notes in artificial intelligence798serie principale: lecture notes incomputer science00100199922001Lecture notes in artificial intelligencecongressist. andrews1993elaboratori elettroniciprogrammazionecongressi1993logica matematicacongressi19930051Programmazione. Tecnica di sviluppo dei programmiDyckhoff,RoyInternational workshop ELP'934.ST. Andrews1993754484Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000200370203316006.3 LNIA (798)0016343006.300106623BKSCI1999020120001110USA011713ALANDI9020010328USA01174920020403USA011627PATRY9020040406USA011614Extension of logic programming1518171UNISA