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