عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.1833
QA
76
.
L28
Vol
.
1833
کتابخانه
محل استقرار
Rewriting techniques and applications : 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings
11th : 2000 : Norwich, UK.
Berlin
Springer-Verlag
c2000
x, 273 p.: ill., tables
Lecture notes in computer science; 3381
Includes bibliographies
ISBN 354067778X
Leo Bachmair )ed.(
1
Congresses ، Rewriting systems )Computer science(
Congresses ، Computer programming
Congresses ، Algorithms
QA
76
.
L28
Vol
.
1833
AU
AU Bachmair, Leo
TI
SE
International Conference on Rewriting Techniques and Applications
