Intelligent Computer Mathematics المزيد من كتب Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura & Frank Tompa

Symbolic Computation and Automated Reasoning

٢٠٠١

Robust Argumentation Machines

٢٠٢٤

Artificial Intelligence. ECAI 2023 International Workshops

٢٠٢٤

Artificial Intelligence. ECAI 2023 International Workshops

٢٠٢٤

KI 2006: Advances in Artificial Intelligence

٢٠٠٧