Jürgen Giesl – författare

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

2 produkter

Kategorier

2 produkter

Jürgen Giesl - Term Rewriting and Applications, Häftad

Term Rewriting and Applications

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

AvJürgen Giesl

Häftad, Engelska, 2005

1 449 kr

Skickas inom 10-15 vardagar

Jürgen Giesl, Reiner Hähnle - Automated Reasoning, Häftad

Automated Reasoning

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

AvJürgen Giesl,Reiner Hähnle

Häftad, Engelska, 2010

1 449 kr

Skickas inom 10-15 vardagar