Rewriting techniques and applications : 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993 : proceedings /

Uloženo v:
Podrobná bibliografie
Korporativní autor: International Conference on Rewriting Techniques and Applications Montreal, Que.
Další autoři: Kirchner, Claude
Médium: Konferenční příspěvek Kniha
Jazyk:English
Vydáno: Berlin ; New York : Springer-Verlag, c1993.
Edice:Lecture notes in computer science ; 690.
Témata:

CARM 1 Store

Informace o exemplářích z: CARM 1 Store
Signatura: A2:AM07D0 C05491
Jednotka 1 Dostupné  Požadavek