Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings (Lecture Notes in Computer Science, 968, Band 968)

53.49 EUR

Marke: Springer Berlin Heidelberg
ISBN: 3540603816
MPN: 6909800