Publication

Language

Publisher

Subjects

Publication date

1Result(s)for '"Waldmann Uwe"'
Sort
Total 1 item(s)

Resource list

By Jacobs Swen   Waldmann Uwe   in Journal of Automated Reasoning

ISSN:0168-7433|38|1-3|57-78

Springer Publishing Company ‎(2007)‎

Access to resources Favorite 15.024899

 

Total 1 item(s)