02031nam0 22004093i 450 NAP039543020250117063017.00387198067New York3540198067Berlin20080130d1993 ||||0itac50 baenggbz01i xxxe z01nLogic program synthesis and transformationproceedings of LOPSTR 92, International workshop on logic program synthesis and transformation, University of Manchester, 2-3 July 1992Kung-Kiu Lau and Tim Clement, Eds.sponsored by the Association for logic programming and ALPUKLondon [etc.]Springer-Verlagc1993XII, 270 p.24 cmWorkshops in computingPublished in collaboration with the British computer society.001PUV00926142001 Workshops in computingProgrammazione logicaCongressi1992FIRNAPC223592I005.1PROGRAMMAZIONE14005.115PROGRAMMAZIONE LOGICA22Clement, Timothy Paul <1954- >NAPV105545Lau, Kung-Kiu <1953- >PUVV095931International workshop on logic program synthesis and transformation <1992 ; Manchester>NAPV105550070770798Clement, TimNAPV105552Clement, Timothy Paul <1954- >Clement, T. P.NAPV105553Clement, Timothy Paul <1954- >Lau, K.-K.NAPV105554Lau, Kung-Kiu <1953- >LOPSTR 92NAPV105551International workshop on logic program synthesis and transformation <1992 ; Manchester>ITIT-NA007920080130IT-BN0095 NAP0395430Biblioteca Centralizzata di Ateneo1 v. 01SALA DING 005.1 IWOLPS 0102 0000013775 H A41992 1 v.3 2008013020080130 01Logic program synthesis and transformation1572910UNISANNIO