Publication

Language

Publisher

Subjects

Publication date

1Result(s)for '"Truderung Tomasz"'
Sort
Total 1 item(s)

Resource list

By Küsters Ralf   Truderung Tomasz   in Journal of Automated Reasoning

ISSN:0168-7433|46|3-4|325-352

Springer Publishing Company ‎(2011)‎

Access to resources Favorite 17.149483

 

Total 1 item(s)