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

AvChristoph Benzmüller,Heiner Stuckenschmidt m. fl.

Häftad, Engelska, 2019

949 kr

Skickas inom 10-15 vardagar

Intelligent Computer Mathematics

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

AvChristoph Benzmüller,Bruce Miller m. fl.

Häftad, Engelska, 2020

719 kr

Skickas inom 10-15 vardagar

Logic and Argumentation

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

AvPietro Baroni,Christoph Benzmüller m. fl.

Häftad, Engelska, 2021

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

AvChristoph Benzmüller,Marijn J.H. Heule m. fl.

Häftad, Engelska, 2024

579 kr

Skickas inom 10-15 vardagar

Automated Reasoning

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

AvChristoph Benzmüller,Marijn J.H. Heule m. fl.

Häftad, Engelska, 2024

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

AvChristoph Benzmüller,Francesco Ricca m. fl.

Häftad, Engelska, 2018

699 kr

Skickas inom 10-15 vardagar

Wider den Reduktionismus

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

AvOliver Passon,Christoph Benzmüller m. fl.

Häftad, Tyska, 2021

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

AvOliver Passon,Christoph Benzmüller m. fl.

Häftad, Tyska, 2023

449 kr

Skickas inom 10-15 vardagar