01557nam2-2200445li-450 99000019718020331620170914105454.088-7021-383-30019718USA010019718(ALEPH)000019718USA0100197182001991061986-------y0itay0103----baitaITFondamenti di programmazione logicai suoi rapporti con la logica e lamatematicaJohn W. Lloydedizione italiana a cura di Mauro BoscarolPadovaFranco Muzzio1986X, 155 p.ill.21 cmIntelligenza artificiale e robotica6Trad. di: foundations of logic programming00100197142001Intelligenza artificiale e roboticaIARProgrammazioneBNCF005.1Programmazione. Tecnica di sviluppo dei programmiLLOYD,John W.52996BOSCAROL,MauroSistema bibliotecario di Ateneo dell' Università di SalernoRICA990000197180203316005.1 LLO0012923BKSCI1991061720001110USA01171320020403USA011627PATRY9020040406USA011614PATRY9020060623USA011559ANGELA9020101013USA011540ANGELA9020101013USA011551ANGELA9020101013USA011552Fondamenti di programmazione logica341435UNISA