Christoph Benzmüller - Böcker
KI 2019: Advances in Artificial Intelligence
42nd German Conference on AI, Kassel, Germany, September 23–26, 2019, Proceedings
949 kr
Skickas inom 10-15 vardagar
Intelligent Computer Mathematics
13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings
719 kr
Skickas inom 10-15 vardagar
Logic and Argumentation
4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings
1 289 kr
Skickas inom 10-15 vardagar
Automated Reasoning
12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I
579 kr
Skickas inom 10-15 vardagar
Automated Reasoning
12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II
1 059 kr
Skickas inom 10-15 vardagar
Rules and Reasoning
Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings
719 kr
Skickas inom 10-15 vardagar
519 kr
Skickas inom 10-15 vardagar
On Gödel and the Nonexistence of Time – Gödel und die Nichtexistenz der Zeit
Kurt Gödel essay competition 2021 – Kurt-Gödel-Preis 2021
459 kr
Skickas inom 10-15 vardagar