By Urban Josef   in Journal of Automated Reasoning

ISSN:0168-7433|33|3-4|319-339

Springer Publishing Company ‎(2004)‎

Access to resources Favorite 17.00275

By Urban Josef   in Journal of Automated Reasoning

ISSN:0168-7433|37|1-2|21-43

Springer Publishing Company ‎(2006)‎

Access to resources Favorite 17.00275

By Urban Josef   Sutcliffe Geoff   in Mathematics in Computer Science

ISSN:1661-8270|2|2|231-251

Springer Publishing Company ‎(2008)‎

Access to resources Favorite 13.6022

By Urban Josef   Bequet Raphael   Mainiero Raphael   in Journal of Experimental Botany

ISSN:1460-2431|62|6|1857-1869

Oxford University Press‎(2011)‎

Access to resources Favorite 10.201651