عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.308
QA
76
.
L28
Vol
.
308
کتابخانه
محل استقرار
Conditional term rewriting systems : 1st International Workshop, Orsay, France, July 8-10, 1987: proceedings
1st: 1987: Orsay
Berlin
Springer-Verlag
c1988
vi, 278p.: ill
Lecture notes in computer science; 803
Includes bibliographies
ISBN: 3540192425
S. Kaplan, J.-P. Jouannaud, eds
1
Congresses ، Rewriting systems )Computer science(
QA
76
.
L28
Vol
.
308
AU
AU Kaplan, Stephane, 1961-
AU Jouannaud, Jean-Pierre
TI
SE
International Workshop on Conditional Term Rewriting Systems
