TY - BOOK AU - Clement,Timothy Paul AU - Lau,Kung-Kiu ED - LOPSTR 91 TI - Logic program synthesis and transformation: proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4-5 July 1991 T2 - Workshops in Computing SN - 3540197427 PY - 1992/// CY - London PB - Springer KW - Programowanie logiczne KW - konferencje KW - kaba ER -