Michael Rusinowitch - Böcker
Visar alla böcker från författaren Michael Rusinowitch.
3 produkter
3 produkter
Automated Reasoning
Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings
Häftad, Engelska, 2004
1 369 kr
Skickas inom 10-15 vardagar
Conditional Term Rewriting Systems
Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings
Häftad, Engelska, 1993
689 kr
Skickas inom 10-15 vardagar
Rewriting Techniques and Applications
10th International Conference, RTA'99, Trento, Italy, July 2-4, 1999, Proceedings
Häftad, Engelska, 1999
709 kr
Skickas inom 10-15 vardagar