By Hüttel Hans   Srba Jiří   in Journal of Automated Reasoning

ISSN:0168-7433|36|1-2|125-147

Springer Publishing Company ‎(2006)‎

Access to resources Favorite 15.791763

By Ferus Martin   Koukal Jakub   Lenža Libor   Srba Jiří   Kubelík Petr   Laitl Vojtěch   Zanozina Ekaterina M.   Váňa Pavel   Kaiserová Tereza   Knížek Antonín   Rimmer Paul   Chatzitheodoridis Elias   Civiš Svatopluk   in Astronomy & Astrophysics

ISSN:0004-6361|610|issue|A73-A73

Edp Sciences‎(2018)‎

Access to resources Favorite 5.812317