01228nam0 22003253i 450 PUV003454220240816062917.0020117576220080227d1990 ||||0itac50 baenggbz01i xxxe z01nLogic programmingsystematic program developmentYves DevilleWokingham [etc.]Addison-Wesley1990XVII, 338 p.24 cmInternational series in logic programming001PUV00369652001 International series in logic programmingProgrammazione logicaFIRNAPC223491IELABORATORI ELETTRONICILinguaggio PrologFIRNAPC009539I005.1PROGRAMMAZIONE14005.115PROGRAMMAZIONE LOGICA22Deville, Yves <1960- >PUVV02007307061282ITIT-NA007920080227IT-BN0095 PUV0034542Biblioteca Centralizzata di Ateneo1 v. 01SALA DING 005.1 DEV.lo 0102 0000004775 B A4 1 v.3 1993102019931020 01Logic Programming375752UNISANNIO