Hoppa till sidans huvudinnehåll

Christoph Benzmüller – författare

Visar alla böcker från författaren Christoph Benzmüller.
8 produkter
Christoph Benzmüller, Heiner Stuckenschmidt - KI 2019: Advances in Artificial Intelligence, Häftad
Del 11793 - Lecture Notes in Computer Science

KI 2019: Advances in Artificial Intelligence

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

AvChristoph Benzmüller,Heiner Stuckenschmidt

Häftad, Engelska, 2019

959 kr

Skickas inom 10-15 vardagar

Christoph Benzmüller, Bruce Miller - Intelligent Computer Mathematics, Häftad
Del 12236 - Lecture Notes in Computer Science

Intelligent Computer Mathematics

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

AvChristoph Benzmüller,Bruce Miller

Häftad, Engelska, 2020

729 kr

Skickas inom 10-15 vardagar

Pietro Baroni, Christoph Benzmüller, Yὶ N. Wáng - Logic and Argumentation, Häftad
Del 13040 - Lecture Notes in Computer Science

Logic and Argumentation

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

AvPietro Baroni,Christoph Benzmüllerm. fl.

Häftad, Engelska, 2021

1 299 kr

Skickas inom 10-15 vardagar

Christoph Benzmüller, Marijn J.H. Heule, Renate A. Schmidt - Automated Reasoning, Häftad
Del 14739 - Lecture Notes in Computer Science

Automated Reasoning

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

AvChristoph Benzmüller,Marijn J.H. Heulem. fl.

Häftad, Engelska, 2024

589 kr

Skickas inom 10-15 vardagar

Christoph Benzmüller, Marijn J.H. Heule, Renate A. Schmidt - Automated Reasoning, Häftad
Del 14740 - Lecture Notes in Computer Science

Automated Reasoning

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

AvChristoph Benzmüller,Marijn J.H. Heulem. fl.

Häftad, Engelska, 2024

1 069 kr

Skickas inom 10-15 vardagar

Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman - Rules and Reasoning, Häftad
Del 11092 - Lecture Notes in Computer Science

Rules and Reasoning

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

AvChristoph Benzmüller,Francesco Riccam. fl.

Häftad, Engelska, 2018

729 kr

Skickas inom 10-15 vardagar

Oliver Passon, Christoph Benzmüller - Wider den Reduktionismus, Häftad

Wider den Reduktionismus

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

AvOliver Passon,Christoph Benzmüller

Häftad, Tyska, 2021

529 kr

Skickas inom 10-15 vardagar

Oliver Passon, Christoph Benzmüller, Brigitte Falkenburg - On Gödel and the Nonexistence of Time – Gödel und die Nichtexistenz der Zeit, Häftad

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üllerm. fl.

Häftad, Tyska, 2023

469 kr

Skickas inom 10-15 vardagar