01624nam2-2200433li-450 99000020146020331620180312154818.03-540-55498-X0020146USA010020146(ALEPH)000020146USA01002014620001109d1992----km-y0itay0103----baengGWExtension of logic programmingsecond International workshop, ELP'91 Stockholm, Sweden, January 1991: proceedingsL.-H. Eriksson (ed.)Berlin [etc.]Springer-Verlagcopyr. 1992369 p.ill.25 cmLecture notes in artificial intelligence596serie principale: lecture notes incomputer science00100199922001Lecture notes in artificial intelligencecongressistoccolma1991elaboratori elettroniciprogrammazionecongressi1991logica matematicacongressi19910051Programmazione. Tecnica di sviluppo dei programmiEriksson,Lars-HenrikInternational workshopELP'912.Stoccolma1991753917Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000201460203316006.3 LNIA (596)0014429006.300106588BKSCI1999013120001110USA011714ALANDI9020010328USA01111320020403USA011628PATRY9020040406USA011614Extension of logic programming1516765UNISA