Michael Kohlhase

Symbolic Computation and Automated Reasoning

2001

Robust Argumentation Machines

2024

Artificial Intelligence. ECAI 2023 International Workshops

2024

Artificial Intelligence. ECAI 2023 International Workshops

2024

Intelligent Computer Mathematics

2016