Publication

Language

Publisher

Subjects

Publication date

1Result(s)for '"Smolka Gert"'
Sort
Total 1 item(s)

Resource list

By Kaminski Mark   Smolka Gert   in Journal of Automated Reasoning

ISSN:0168-7433|52|4|407-450

Springer Publishing Company ‎(2014)‎

Access to resources Favorite 15.989088

 

Total 1 item(s)