| Type |  Book |
| ชื่อเรื่อง | Logic based program synthesis and transformation international workshop, LOPSTER 2000, London, UK, July 24-28, 2000 : selected papers / Kung-Kiu Lau (ed.) |
| ผู้แต่ง | LOPSTR 2000 (2000 : London, England) |
| ISBN | 3540421270 |
| พิมพลักษณ์ | Berlin : Springer, 2001 |
| รูปเล่ม | viii, 181 p. ; 24 cm |
| หัวเรื่อง | Logic programming --Congresses [] |