00980nam0-2200337li-450 99000017691020331620180312154901.00-262-16131-10017691USA010017691(ALEPH)000017691USA01001769120001109d1992----km-y0itay0103----baengUSTypes in logic programmingedited by Frank PfenningCambridge (Mass.) ; LondonMIT Presscopyr. 1992programmazione (informatica)005.11.Pfenning,FrankSistema bibliotecario di Ateneo dell' Università di SalernoRICA990000176910203316005.11 TYP0005301BKTEC1994120620001110USA01171320020403USA011625PATRY9020040406USA011613Types in logic programming1501702UNISA