01174nam0-2200385li-450 99000014413020331620180312154735.00-262-12156-50014413USA010014413(ALEPH)000014413USA01001441320001109d1991----km-y0itay0103----baengUSComputational logicessays in honor of Alan Robinsonedited by Jean-Louis Lassez and Gordon PlotkinCambridge (Mass.) ; London (England)MIT Presscopyr. 1991intelligenza artificialeprogrammazione (informatica)robinson john a006.3.Lassez,Jean-LouisPlotkin,GordonRobinson,John A.Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000144130203316006.3 COM0006286BKTEC1995112320001110USA01171220020403USA011622PATRY9020040406USA011611Computational logic1490021UNISA