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

Đã lưu trong:
Chi tiết về thư mục
Tác giả của công ty: International Conference on Rewriting Techniques and Applications Montreal, Que.
Tác giả khác: Kirchner, Claude
Định dạng: Hội nghị đang tiến hành Sách
Ngôn ngữ:English
Được phát hành: Berlin ; New York : Springer-Verlag, c1993.
Loạt:Lecture notes in computer science ; 690.
Những chủ đề:

CARM 1 Store

Chi tiết quỹ từ CARM 1 Store
Số hiệu: A2:AM07D0 C05491
Sao chép 1 Sẵn có  Đặt Giữ