عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.202
QA
76
.
L28
Vol
.
202
کتابخانه
محل استقرار
Rewriting techniques and applications : Dijon, France, May 20-22, 1985
1st: 1985: Dijon, France
Berlin
Springer-Verlag
c1985
vi, 440p.: ill
Lecture notes in computer science; 202
Papers presented at the First International Conference on Rewriting Techniques & Applications "RTA 85", held in Dijon, Burgundy, France, May 20-22, 1985
Includes bibliographies
ISBN: 3540159762
edited by Jean-Pierre Jouannaud
1
Congresses ، Rewriting systems )Computer science(
Congresses ، Computer programming
Congresses ، Algorithms
QA
76
.
L28
Vol
.
202
AU
AU Jouannaud, Jean-Pierre
TI
SE
International Conference on Rewriting Techniques and Applications
