LEADER 02095nam0 22004093i 450 
001 NAP0395424
005 20250117063017.0
010   $a0387197427$bNew York
010   $a3540197427$bBerlin
100   $a20080130d1992    ||||0itac50      ba
101 | $aeng
102   $ade
181  1$6z01$ai $bxxxe  
182  1$6z01$an
200 1 $aLogic program synthesis and transformation$eproceedings of LOPSTR 91, International workshop on logic program synthesis and transformation,   University of Manchester, 4-5 July 1991$fT. P. Clement and K.-K. Lau, Eds.$gsponsored by the Association for logic programming and ALPUK
210   $aLondon [etc.]$cSpringer-Verlag$dc1992
215   $aX, 337 p.$d25 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$x1991$2FIR$3NAPC223579$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 <1991$e ; Manchester>$3NAPV105543$4070$0770797
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 91$3NAPV105544$zInternational workshop on logic program synthesis and transformation <1991 ; Manchester>                                                                 
801  3$aIT$bIT-NA0079$c20080130
850   $aIT-BN0095          
912   $aNAP0395424
950  0$aBiblioteca Centralizzata di Ateneo$c1 v.$d 01SALA DING 005.1                   IWOLPS$e 0102 0000013765    B A41991                1 v.$f3 $h20080130$i20080130
977   $a 01
996   $aLogic program synthesis and transformation$91572909
997   $aUNISANNIO