01284nam0 22003373i 450 PUV003454220251003044310.0020117576220080227d1990 ||||0itac50 baenggbz01i xxxe z01nLogic programmingsystematic program developmentYves DevilleWokingham [etc.]Addison-Wesley1990XVII, 338 p.24 cmInternational series in logic programming001PUV00369652001 International series in logic programmingElaboratori elettroniciLinguaggio PrologFIRCFIC024417IElaboratori elettroniciProgrammazioneFIRCFIC000860E005.1PROGRAMMAZIONE14005.115PROGRAMMAZIONE LOGICA22Deville, Yves <1960- >PUVV02007307061282ITIT-00000020080227IT-BN0095 NAP 01SALA DING $PUV0034542Biblioteca Centralizzata di Ateneo1 v. 01SALA DING 005.1 DEV.lo 0102 0000004775 VMA A4 1 v.Y 1993102019931020 01Logic Programming375752UNISANNIO