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)

Allgemein

Marke
Springer Berlin Heidelberg
ISBN
Springer Berlin Heidelberg 3540603816
MPN
Springer Berlin Heidelberg 6909800

Eigenschaften

Menü