عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.1103
QA
76
.
L28
Vol
.
1103
کتابخانه
محل استقرار
Rewriting techniques and applications : 7th international conference, RTA-96, New Brunswick, NJ, USA, July 27-30 1996 : proceedings
7th: 1995: New Brunswick, NJ, USA
Berlin
Springer-Verlag
1996
xi, 435 p. : ill. , tables
Lecture notes in computer science; 3011
Includes bibliographies
ISBN 3540614648
Harald Ganzinger
1
Congresses ، Rewriting systems )Computer science(
Congresses ، Computer programming
Congresses ، Algorithms
QA
76
.
L28
Vol
.
1103
CA
005
.
13/1
AU
AU Ganzinger, Harald, 1950-
TI
SE
International Conference on Rewriting Techniques and Applications
