عنوان
پدید آورنده
موضوع
رده
QA 267 .I555 1993
QA
267
.
I555
1993
کتابخانه
محل استقرار
100884
زمستان۴۷
English
)20(
Rewriting techniques and applications : 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993 : proceedings
Berlin, New York
Springer-Verlag
1993
xi, 487 p. ; 23 cm
Lecture notes in computer science; 096
Includes bibliographical references and index
، Rewriting systems )Computer science(-- Congresses
، Electronic digital computers-- Programming-- Congresses
، Algorithms-- Congresses
QA
267
.
I555
1993
AU
Claude Kirchner, ed
AU .edualC ,renhcriK
TI
SE
International Conference on Rewriting Techniques and Applications )5th: 1993: Montreal, Que.(
02
