Back to General Fiction Books
Conditional and typed rewriting systems
by International Workshop on Conditional (and Typed) Rewriting Systems (4th 1994 Jerusalem), Languages, and Programming (21st : 1994 : Jerusalem) International Colloquium on Automata, Naomi Lindenstrauss, Nachum Dershowitz
0.0 out of 5 (0 reviews)
