01735nam2-2200445li-450 99000020244020331620180312154817.03-540-64958-10020244USA010020244(ALEPH)000020244USA01002024420001109d1998----km-y0itay0103----baengGWLogic programming and knowledge representation3rd International workshop, LPKR'97 ; Port Jefferson, New York, USA, October 17, 1997Jurgen Dix ... [et al.] (eds.)Berlin [etc.]Springer-Verlagcopyr. 1998VIII, 246 p.ill.24 cmLecture notes in artificial intelligence1471serie principale: lecture notes incomputer science00100199922001Lecture notes in artificial intelligencecongressiport jefferson1997elaboratori elettroniciprogrammazionecongressi1997intelligenza artificialecongressi1997logica matematicacongressi19970051Programmazione. Tecnica di sviluppo dei programmiJurgen,DixInternational workshop LPKR'973.Port Jefferson1997753727Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000202440203316006.3 LNIA (1471)0022654006.300106762BKSCI1999021320001110USA011714ALANDI9020010330USA01163120020403USA011628PATRY9020040406USA011615Logic programming and knowledge representation1516271UNISA