01606nam2-2200421li-450 99000020250020331620180312154815.03-540-55930-20020250USA010020250(ALEPH)000020250USA01002025020001109d1992----km-y0itay0103----baengGWLogic programming in actionsecond International logic programming summer school, LPSS'92Zurich, Switzerland, September 7-11, 1992proceedingsG. Comyn ... [et al] (eds.)Berlin [etc.]Springer-Verlagcopyr. 1992X, 324 p.ill.25 cmLecture notes in artificial intelligence63600100199922001Lecture notes in artificial intelligencecongressizurigo1992elaboratori elettroniciprogrammazionecongressi1992logica matematicacongressi19920051Programmazione. Tecnica di sviluppo dei programmiComyn,GérardInternational logic programming summer school LPSS'922.Zurigo1992753689Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000202500203316006.3 LNIA (636)0014554006.300106599BKSCI1992012620001110USA011714ALANDI9020010328USA01131920020403USA011628PATRY9020040406USA011615Logic programming in action1516233UNISA