Publication

Language

Publisher

Subjects

Publication date

1Result(s)for '"Otten Jens"'
Sort
Total 1 item(s)

Resource list

By Raths Thomas   Otten Jens   Kreitz Christoph   in Journal of Automated Reasoning

ISSN:0168-7433|38|1-3|261-271

Springer Publishing Company ‎(2007)‎

Access to resources Favorite 10.842464

 

Total 1 item(s)