Intelligent Computer Mathematics More Books by Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura & Frank Tompa

Symbolic Computation and Automated Reasoning

2001

Robust Argumentation Machines

2024

Artificial Intelligence. ECAI 2023 International Workshops

2024

Artificial Intelligence. ECAI 2023 International Workshops

2024

KI 2006: Advances in Artificial Intelligence

2007