Josef Urban

Livres
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
Intelligent Computer Mathematics Intelligent Computer Mathematics
Intelligent Computer Mathematics
2011