Hoppa till sidans huvudinnehåll

Michael Rusinowitch - Böcker

Visar alla böcker från författaren Michael Rusinowitch.
3 produkter

Automated Reasoning

Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings

AvDavid Basin,Michael Rusinowitch

Häftad, Engelska, 2004

1 379 kr

Skickas inom 10-15 vardagar

Conditional Term Rewriting Systems

Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings

AvMichael Rusinowitch,Jean-Luc Remy

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

AvPaliath Narendran,Michael Rusinowitch

Häftad, Engelska, 1999

709 kr

Skickas inom 10-15 vardagar