„michael rusinowitch"
-
Conditional Term Rewriting Systems
Band 656Michael Rusinowitch + weitere
Conditional Term Rewriting SystemsBuch (Taschenbuch)
51,99 €
-
Rewriting Techniques and Applications
Band 1631Paliath Narendran + weitere
Rewriting Techniques and ApplicationsBuch (Taschenbuch)
49,99 €
-
Automated Reasoning
Band 3097David Basin + weitere
Automated ReasoningBuch (Taschenbuch)
99,99 €