Publication

Language

Publisher

Subjects

Publication date

1Result(s)for '"Thiemann René"'
Sort
Total 1 item(s)

Resource list

By Giesl Jürgen   Thiemann René   Schneider-Kamp Peter   Falke Stephan   in Journal of Automated Reasoning

ISSN:0168-7433|37|3|155-203

Springer Publishing Company ‎(2006)‎

Access to resources Favorite 8.46569

 

Total 1 item(s)