Michael Kohlhase — Books & Biography | Menrva Books | MenrvaBooks

Michael Kohlhase

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Robust Argumentation Machines First International Conference, RATIO 2024, Bielefeld, Germany, June 5–7, 2024, Proceedings

Robust Argumentation Machines First International Conference, RATIO 2024, Bielefeld, Germany, June 5–7, 2024, Proceedings

Symbolic Computation and Automated Reasoning The CALCULEMUS-2000 Symposium

Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium

Company

Why Menrva Books

Help & Support

Legal & Privacy

© 2026 Menrva Books

All Rights Reserved.