Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings
Editat de Nachum Dershowitz et al.
22 sep 1995
Paperback
Preț: 337.20 lei 421.49 lei
43-57 zile
-20%
Cărți de Naomi Lindenstrauss