Logic program synthesis and transformation :

" Logic program synthesis and transformation : "
T.P. Clement and K.-K. Lau, eds. ; Sponsored by the Association for Logic Programming and ALPUK.

Document Type	:	BL
Record Number	:	745416
Doc. No	:	b565365
Main Entry	:	T.P. Clement and K.-K. Lau, eds. ; Sponsored by the Association for Logic Programming and ALPUK.
Title & Author	:	Logic program synthesis and transformation : : proceedings of LOPSTR 91 ... Univ. of Manchester, 4-5 July 1991\ T.P. Clement and K.-K. Lau, eds. ; Sponsored by the Association for Logic Programming and ALPUK.
Publication Statement	:	London[etc] : Springer, cop., 1992
Series Statement	:	Workshops in computing.
Page. NO	:	x, 337 p. ; 25 cm.
ISBN	:	0387197427
	:	: 3540197427
	:	: 9780387197425
	:	: 9783540197423
Subject	:	Programación lógica -- Congresos.
Subject	:	Programación lógica -- Congresos.
LC Classification	:	‭QA76.63‬‭T635 1992‬
Added Entry	:	Kung-Kiu Lau
	:	Timothy Paul Clement
Parallel Title	:	LOPSTR 91.

خطا