Jürgen Giesl

Jürgen Giesl

2 books in the database

Books

Term Rewriting and ApplicationsJürgen Giesl

Term Rewriting and Applications

Jürgen Giesl · 1899

Automated ReasoningJürgen Giesl

Automated Reasoning

Jürgen Giesl · 2010