01235nam0 22003493i 450 RMS174093520251003044345.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 logicaFIRCFIC136733EElaboratori elettroniciProgrammazioneFIRCFIC000860E005.1PROGRAMMAZIONE14005.115PROGRAMMAZIONE LOGICA22Pfenning, FrankAQ1V004008ITIT-00000020080207IT-BN0095 NAP 01SALA DING $RMS1740935Biblioteca Centralizzata di Ateneo1 v. 01SALA DING 005.1 TYPILP 0102 0000011955 VMA A4 1 v.Y 2008020720080207 01Types in logic programming1501702UNISANNIO