عنوان
پدید آورنده
موضوع
رده
QA 267 .I565 2001
QA
267
.
I565
2001
کتابخانه
محل استقرار
137281
تابستان۳۸
English
)20(
Rewriting techniques and applications: 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001: proceedings
Berlin
Springer
2001
xii, 361 p.: ill.; 24 cm
Lecture notes in computer science 2030-3479
2051
Includes bibliographical references and index
Congresses ، Rewriting systems )Computer science(
Congresses ، Computer programming
Congresses ، Algorithms
QA
267
.
I565
2001
AU
Aart Middeldorp )ed.(
AU traA ,prodleddiM 1963-
TI
SE
International Conference on Rewriting Techniques and Applications )12th: 2001: Utrecht, Netherlands(
02
