书目信息 机读格式(MARC)
Logic based program synthesis and transformation :
| ISBN： | 3-540-42127-0 |
|---|---|
| 编目源： | DLC DLC |
| 语种代码： | eng |
| 会议名称： | International Workshop on Logic-Based Program Synthesis and Transformation |
| 题名： | Logic based program synthesis and transformation : 10th international workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers / Kung-Kiu Lau (ed.). |
| 出版发行项： | Berlin ; London : Springer, 2001. |
| 载体形态： | viii, 181 p. : ill. ; 24 cm. |
| 丛编说明： | Lecture notes in computer science, 0302-9743 ; 2042 |