01197nam0 22003373i 450 RMS174093520240816063029.0026216131120080207d1992 ||||0itac50 baengusz01i xxxe z01nTypes in logic programmingedited by Frank PfenningCambridge (Mass.)The MIT press©1992XVIII, 357 p.24 cmLogic programmingBibliografia: P. 333-357.001UBO00096722001 Logic programmingProgrammazione logicaFIRNAPC223491IElaboratori elettroniciProgrammazioneFIRNAPC000341I005.1PROGRAMMAZIONE14005.115PROGRAMMAZIONE LOGICA22Pfenning, FrankAQ1V004008ITIT-NA007920080207IT-BN0095 RMS1740935Biblioteca Centralizzata di Ateneo1 v. 01SALA DING 005.1 TYPILP 0102 0000011955 B A4 1 v.3 2008020720080207 01Types in logic programming1501702UNISANNIO