01685nam2-2200445li-450 99000020233020331620180312154757.03-540-60983-00020233USA010020233(ALEPH)000020233USA0100202332001999021996-------y0itay0103----baengGWExtensions of logic programming5th International workshop, ELP'96: Leipzing, Germany, March 28-30, 1996: proceedingsRoy Dyckhoff ...[et al.] (eds.)Berlin [etc.]Springer-VerlagCopyr. 1996VIII, 318 p.ill.24 cmLecture notes in artificial intelligence1050serie principale: lecture notes incomputer science00100199922001Lecture notes in artificial intelligencecongressileipzig1996elaboratori elettroniciprogrammazionecongressi1996logica matematicacongressi19960051Programmazione. Tecnica di sviluppo dei programmiDyckhoff,RoyInternational workshop ELP'965.Leipzig1996753241Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000202330203316006.3 LNAI (1050)0019104006.300106671BKSCI1999020520001110USA011714ALANDI9020010329USA01131820020403USA011628PATRY9020040406USA011615ANGELA9020081201USA011221Extensions of logic programming1515177UNISA