Home
Genres
Deals
Log in
Sign up
Premium
Help
Download
Privacy
Terms
Jürgen Giesl — Author | Lex | Lex
J
Jürgen Giesl
2 works on record
Works
Term Rewriting and Applications
Automated Reasoning
Automated Reasoning
2010