International Workshop on Conditional (and Typed) Rewriting Systems (4th 1994 Jerusalem)

International Workshop on Conditional (and Typed) Rewriting Systems (4th 1994 Jerusalem)

1 ספרים במאגר

ספרים

Conditional and typed rewriting systemsInternational Workshop on Conditional (and Typed) Rewriting Systems (4th 1994 Jerusalem)

Conditional and typed rewriting systems

International Workshop on Conditional (and Typed) Rewriting Systems (4th 1994 Jerusalem) · 1995