书目信息 机读格式(MARC)
Rewriting techniques and applications :
| ISBN： | 3-540-42117-3 |
|---|---|
| 编目源： | DLC DLC |
| 语种代码： | eng |
| 会议名称： | RTA 2001 |
| 题名： | Rewriting techniques and applications : 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001, proceedings / Art Middeldorp (ed). |
| 出版发行项： | Berlin ; London : Springer, c2001. |
| 载体形态： | xii, 361 p. : ill. ; 24 cm. |
| 丛编说明： | Lecture notes in computer science, 0302-9743 ; 2051 |
| 书目附注： | Includes bibliographical references and index. |