LEADER 02031nam0 22004093i 450 
001 NAP0395430
005 20250117063017.0
010   $a0387198067$bNew York
010   $a3540198067$bBerlin
100   $a20080130d1993    ||||0itac50      ba
101 | $aeng
102   $agb
181  1$6z01$ai $bxxxe  
182  1$6z01$an
200 1 $aLogic program synthesis and transformation$eproceedings of LOPSTR 92, International workshop on logic program synthesis and transformation, University of Manchester, 2-3 July 1992$fKung-Kiu Lau and Tim Clement, Eds.$gsponsored by the Association for logic programming and ALPUK
210   $aLondon [etc.]$cSpringer-Verlag$dc1993
215   $aXII, 270 p.$d24 cm
225 | $aWorkshops in computing
300   $aPublished in collaboration with the British computer society.
410  0$1001PUV0092614$12001 $aWorkshops in computing
606   $aProgrammazione logica$xCongressi$x1992$2FIR$3NAPC223592$9I
676   $a005.1$9PROGRAMMAZIONE$v14
676   $a005.115$9PROGRAMMAZIONE LOGICA$v22
702  1$aClement$b, Timothy Paul$f <1954-    >$3NAPV105545
702  1$aLau$b, Kung-Kiu$f <1953-    >$3PUVV095931
710 12$aInternational workshop on logic program synthesis and transformation$f <1992$e ; Manchester>$3NAPV105550$4070$0770798
790  1$aClement$b, Tim$3NAPV105552$zClement, Timothy Paul <1954-    >
790  1$aClement$b, T. P.$3NAPV105553$zClement, Timothy Paul <1954-    >
790  1$aLau$b, K.-K.$3NAPV105554$zLau, Kung-Kiu <1953-    >
791 12$aLOPSTR 92$3NAPV105551$zInternational workshop on logic program synthesis and transformation <1992 ; Manchester>
801  3$aIT$bIT-NA0079$c20080130
850   $aIT-BN0095          
912   $aNAP0395430
950  0$aBiblioteca Centralizzata di Ateneo$c1 v.$d 01SALA DING 005.1                   IWOLPS$e 0102 0000013775    H A41992                1 v.$f3 $h20080130$i20080130
977   $a 01
996   $aLogic program synthesis and transformation$91572910
997   $aUNISANNIO