MARC状态：已编 文献类型：西文图书 浏览次数：86
- 题名/责任者:
- Rewriting techniques and applications : 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings / Aart Middeldorp (ed.).
- 出版发行项:
- Berlin ; New York : Springer, c2001.
- ISBN:
- 3540421173 (pbk.) :
- 载体形态项:
- xii, 361 p. : ill. ; 24 cm.
- 变异题名:
- RTA 2001
- 丛编题名:
- Lecture notes in computer science, 0302-9743 ; 2051
- 会议名称:
- International Conference on Rewriting Techniques and Applications (12th : 2001 : Utrecht, Netherlands)
- 附加个人名称:
- Middeldorp, Aart, 1963-
- 论题主题:
- Algorithms-Congresses.
- 论题主题:
- Rewriting systems (Computer science)-Congresses.
- 论题主题:
- Computer programming-Congresses.
- 中图法分类号:
- TP333-53
- 中图法分类号:
- TP311.1-53
- 书目附注:
- Includes bibliographical references and index.
- 载体形态附注:
- Available also through Springer LINK.
- 随书光盘:
全部MARC细节信息>>
东5层4区