江汉大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

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-

论题主题:

Rewriting systems (Computer science)-Congresses.

论题主题:

Computer programming-Congresses.

论题主题:

Algorithms-Congresses.

中图法分类号:

TP333-532

中图法分类号:

TP311.1-532

中图法分类号:

TP333

书目附注:

Includes bibliographical references and index.

载体形态附注:

Available also through Springer LINK.

电子资源:

http://springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2051&issue=preprint

豆瓣简介：