02095nam0 22004093i 450 NAP039542420240712063033.00387197427New York3540197427Berlin20080130d1992 ||||0itac50 baengdez01i xxxe z01nLogic program synthesis and transformationproceedings of LOPSTR 91, International workshop on logic program synthesis and transformation, University of Manchester, 4-5 July 1991T. P. Clement and K.-K. Lau, Eds.sponsored by the Association for logic programming and ALPUKLondon [etc.]Springer-Verlagc1992X, 337 p.25 cmWorkshops in computingPublished in collaboration with the British computer society.001PUV00926142001 Workshops in computingProgrammazione logicaCongressi1991FIRNAPC223579I005.1PROGRAMMAZIONE14005.115PROGRAMMAZIONE LOGICA22Clement, Timothy Paul <1954- >NAPV105545Lau, Kung-Kiu <1953- >PUVV095931International workshop on logic program synthesis and transformation <1991 ; Manchester>NAPV105543070770797Clement, TimNAPV105552Clement, Timothy Paul <1954- >Clement, T. P.NAPV105553Clement, Timothy Paul <1954- >Lau, K.-K.NAPV105554Lau, Kung-Kiu <1953- >LOPSTR 91NAPV105544International workshop on logic program synthesis and transformation <1991 ; Manchester> ITIT-NA007920080130IT-BN0095 NAP0395424Biblioteca Centralizzata di Ateneo1 v. 01SALA DING 005.1 IWOLPS 0102 0000013765 B A41991 1 v.3 2008013020080130 01Logic program synthesis and transformation1572909UNISANNIO