| Type |  Book |
| ชื่อเรื่อง | Logic based program synthesis and transformation [electronic resource] : 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 ; revised selected papers / Maurice Bruynooghe (ed.) |
| ผู้แต่ง | Lopstr (symposium) (13th : 2003 : Uppsala, Sweden) |
| ISBN | 9783540259381 |
| พิมพลักษณ์ | Berlin ; New York : Springer, c2004 |
| รูปเล่ม | 1 online resource (x, 232 p.) : fig., tab |
| ลิงค์ | Connect to electronic resource |
| หัวเรื่อง | Logic programming --Congresses [] |