Christoph Benzmüller – författare

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

8 produkter

1. 

   KI 2019: Advances in Artificial Intelligence

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

   Av Christoph Benzmüller, Heiner Stuckenschmidt

   Häftad, 2019

   969 kr

   Lägg i varukorg

2. 

   Intelligent Computer Mathematics

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

   Av Christoph Benzmüller, Bruce Miller

   Häftad, 2020

   739 kr

   Lägg i varukorg

3. 

   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, 2021

   1319 kr

   Lägg i varukorg

4. 

   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, 2024

   599 kr

   Lägg i varukorg

5. 

   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, 2024

   1089 kr

   Lägg i varukorg

6. 

   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, 2018

   739 kr

   Lägg i varukorg

7. 

   Wider den Reduktionismus

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

   Av Oliver Passon, Christoph Benzmüller

   Häftad, 2021

   539 kr

   Lägg i varukorg

8. 

   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, 2023

   469 kr

   Lägg i varukorg