01457nam2-2200421li-450 99000011376020331620170914105310.088-7021-383-30011376USA010011376(ALEPH)000011376USA0100113762001991061986-------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 programming00100113772001Intelligenza artificiale e roboticaIARProgrammazioneBNCF005.1Programmazione. Tecnica di sviluppo dei programmiLloyd,John W.52996BOSCAROL,MauroSistema bibliotecario di Ateneo dell' Università di SalernoRICA990000113760203316005.1 LLO0012923BKSCI1991061720001110USA01171120020403USA011619PATRY9020040406USA011609PATRY9020060623USA011558ANGELA9020101013USA011546Fondamenti di programmazione logica341435UNISA