عنوان
پدید آورنده
موضوع
رده
QA 267 .C5933 1988
QA
267
.
C5933
1988
کتابخانه
محل استقرار
87165
آخر۲۷
English
)20(
Conditional term rewriting systems : 1st international workshop, Orsay, France, July 8-10, 1987 : proceedings
Berlin, New York
Springer-Verlag
1988
vi, 278 p. : ill. ; 24 cm
Lecture notes in computer science; 803
Includes bibliographies
، Rewriting systems )Computer science(-- Congresses
QA
267
.
C5933
1988
TI
S. Kaplan, J.-P. Jouannaud, eds
AU (enahpeعtS).S ,nalpaK 1961-
AU .erreiP-naeJ ,duannauoJ
SE
02
