Jürgen Giesl

No bio available. Add one in Open Library.

Books by Jürgen Giesl (50 max)

+ shelf+ list

Term Rewriting and Applications: 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings (Lecture Notes in Computer Science)

1899

Jürgen Giesl

+ shelf+ list

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

2010

Jürgen Giesl, Reiner Hähnle