Intelligent Computer Mathematics Más libros de 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