Christoph Benzmüller – författare
Visar alla böcker från författaren Christoph Benzmüller. Handla med fri frakt och snabb leverans.
14 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
Häftad, 2019
747 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 42nd German Conference on Artificial Intelligence, KI 2019, held in Kassel, Germany, in September 2019.The 16 full and 10 short papers presented together with 3 extended abstracts in this volume were carefully reviewed and selected from 82 …
KI 2019: Advances in Artificial Intelligence
42nd German Conference on AI, Kassel, Germany, September 23–26, 2019, Proceedings
Av Heiner Stuckenschmidt, Christoph Benzmuller
E-bok, 2019
975 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 42nd German Conference on Artificial Intelligence, KI 2019, held in Kassel, Germany, in September 2019. The 16 full and 10 short papers presented together with 3 extended abstracts in this volume were carefully reviewed and selected from 82 …
Intelligent Computer Mathematics
13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings
Av Christoph Benzmüller, Bruce Miller
Häftad, 2020
567 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, CICM 2020, held in Bertinoro, Italy, in July 2020*.The 15 full papers, 1 invited paper and 2 abstracts of invited papers presented were carefully reviewed and selected from a …
Intelligent Computer Mathematics
13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings
Av Bruce Miller, Christoph Benzmuller
E-bok, 2020
739 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, CICM 2020, held in Bertinoro, Italy, in July 2020*. The 15 full papers, 1 invited paper and 2 abstracts of invited papers presented were carefully reviewed and selected from a …
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
1016 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 4th International Conference on Logic and Argumentation, CLAR 2021, held in Hangzhou, China, in October 2021. The 20 full and 10 short papers presented together with 5 invited papers were carefully reviewed and selected from 58 submissions. The …
Logic and Argumentation
4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings
Av Y? N. Wang, Christoph Benzmuller m. fl.
E-bok, 2021
1335 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 4th International Conference on Logic and Argumentation, CLAR 2021, held in Hangzhou, China, in October 2021. The 20 full and 10 short papers presented together with 5 invited papers were carefully reviewed and selected from 58 submissions. The …
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
455 kr
Lägg i varukorg
This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024.The 39 full research papers and 6 short papers presented in this book were carefully reviewed and selected …
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
836 kr
Lägg i varukorg
Infotext (nur auf Basis des Vorgängers): This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024.The 39 full research papers and 6 short papers presented in this …
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
567 kr
Lägg i varukorg
This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2018, held in Luxembourg during September 2018. This is the second conference of a new series, joining the efforts of two existing conference series, namely “RuleML” (International Web Rule …
Rules and Reasoning
Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings
Av Dumitru Roman, Xavier Parent m. fl.
E-bok, 2018
718 kr
Lägg i varukorg
This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2018, held in Luxembourg during September 2018. This is the second conference of a new series, joining the efforts of two existing conference series, namely “RuleML” (International Web Rule …
Wider den Reduktionismus
Ausgewählte Beiträge zum Kurt Gödel Preis 2019
Av Oliver Passon, Christoph Benzmüller
Häftad, 2021
414 kr
Lägg i varukorg
Die Autorinnen und Autoren präsentieren in diesem Buch Argumente, die die Unmöglichkeit des Reduktionismus aus philosophischer, naturwissenschaftlicher bzw. mathematisch-logischer Perspektive zu begründen suchen. Der Reduktionismus behauptet, dass Eigenschaften auch von komplexen Systemen (bis hin …
Wider den Reduktionismus
Ausgewählte Beiträge zum Kurt Gödel Preis 2019
Av Christoph Benzmuller, Oliver Passon
E-bok, 2021
424 kr
Lägg i varukorg
Die Autorinnen und Autoren präsentieren in diesem Buch Argumente, die die Unmöglichkeit des Reduktionismus aus philosophischer, naturwissenschaftlicher bzw. mathematisch-logischer Perspektive zu begründen suchen. Der Reduktionismus behauptet, dass Eigenschaften auch von komplexen Systemen (bis hin …
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
363 kr
Lägg i varukorg
Kurt Gödel was not just a brilliant logician but contributed also important results to the general theory of relativity. In the 1940s he found a solution to Einstein's field equations which (roughly speaking) allows for time-travel, i.e. compromises our very notion of time. This book brings …
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 Brigitte Falkenburg, Christoph Benzmuller m. fl.
E-bok, 2023
359 kr
Lägg i varukorg
Kurt Gödel was not just a brilliant logician but contributed also important results to the general theory of relativity. In the 1940s he found a solution to Einstein''s field equations which (roughly speaking) allows for time-travel, i.e. compromises our very notion of time. This book brings …
