Jürgen Giesl – författare

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
AvJürgen Giesl
Häftad, Engelska, 2005
1 459 kr
Skickas inom 10-15 vardagar
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 459 kr
Skickas inom 10-15 vardagar