Wider den Reduktionismus Ausgewählte Beiträge zum Kurt Gödel Preis 2019 Passon, Oliver Heftet / 2021 / Tysk
KI 2019: Advances in Artificial Intelligence 42nd German Conference on AI, Kassel, Germany, September 23–26, 2019, Proceedings Benzmüller, Christoph Heftet / 2019 / Engelsk
Intelligent Computer Mathematics 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings Benzmüller, Christoph Heftet / 2020 / Engelsk
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 Passon, Oliver Heftet / 2023 / Tysk
Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II Benzmüller, Christoph Heftet / 2024 / Engelsk
Logic and Argumentation 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings Baroni, Pietro Heftet / 2021 / Engelsk
Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings Benzmüller, Christoph Heftet / 2018 / Engelsk
Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I Benzmüller, Christoph Heftet / 2024 / Engelsk
