Hoppa till sidans huvudinnehåll

Christoph Benzmüller - Böcker

Visar alla böcker från författaren Christoph Benzmüller.
8 produkter

KI 2019: Advances in Artificial Intelligence

42nd German Conference on AI, Kassel, Germany, September 23–26, 2019, Proceedings

Av Christoph Benzmüller, Heiner Stuckenschmidt m. fl

Häftad, Engelska, 2019

959 kr

Skickas inom 10-15 vardagar

Intelligent Computer Mathematics

13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings

Av Christoph Benzmüller, Bruce Miller m. fl

Häftad, Engelska, 2020

729 kr

Skickas inom 10-15 vardagar

Logic and Argumentation

4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings

Av Pietro Baroni, Christoph Benzmüller m. fl

Häftad, Engelska, 2021

1 299 kr

Skickas inom 10-15 vardagar

Automated Reasoning

12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I

Av Christoph Benzmüller, Marijn J.H. Heule m. fl

Häftad, Engelska, 2024

669 kr

Skickas inom 10-15 vardagar

Automated Reasoning

12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II

Av Christoph Benzmüller, Marijn J.H. Heule m. fl

Häftad, Engelska, 2024

1 209 kr

Skickas inom 10-15 vardagar

Rules and Reasoning

Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings

Av Christoph Benzmüller, Francesco Ricca m. fl

Häftad, Engelska, 2018

709 kr

Skickas inom 10-15 vardagar

Wider den Reduktionismus

Ausgewählte Beiträge zum Kurt Gödel Preis 2019

Av Oliver Passon, Christoph Benzmüller m. fl

Häftad, Tyska, 2021

529 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

Av Oliver Passon, Christoph Benzmüller m. fl

Häftad, Tyska, 2023

459 kr

Skickas inom 10-15 vardagar