Jürgen Giesl - Böcker

Visar alla böcker från författaren Jürgen Giesl.

2 produkter

Kategorier

2 produkter

Term Rewriting and Applications

16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings

Av Jürgen Giesl

Häftad, Engelska, 2005

1 439 kr

Skickas inom 10-15 vardagar

Automated Reasoning

5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings

Av Jürgen Giesl, Reiner Hähnle

Häftad, Engelska, 2010

1 439 kr

Skickas inom 10-15 vardagar