Josef Urban

Books

Automated Reasoning with Analytic Tableaux and Related Methods Automated Reasoning with Analytic Tableaux and Related Methods
Automated Reasoning with Analytic Tableaux and Related Methods
2023
Mathematical Software – ICMS 2018 Mathematical Software – ICMS 2018
Mathematical Software – ICMS 2018
2018
Habermannův mlýn Habermannův mlýn
Habermannův mlýn
2016
Tenkrát v ráji Tenkrát v ráji
Tenkrát v ráji
2015
7 dní hříchů 7 dní hříchů
7 dní hříchů
2013
Intelligent Computer Mathematics Intelligent Computer Mathematics
Intelligent Computer Mathematics
2011