Christoph Benzmüller

No bio available. Add one in Open Library.

Books by Christoph Benzmüller (50 max)

+ shelf+ list

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

2024

Christoph Benzmüller, Marijn Heule, Renate A. Schmidt

+ shelf+ list

Reasoning in simple type theory: festschrift in honour of Peter B. Andrews on this 70th birthday

2008

Christoph Benzmüller

+ shelf+ list

KI 2019 : Advances in Artificial Intelligence : 42nd German Conference on AI, Kassel, Germany, September 23–26, 2019, Proceedings

2019

Christoph Benzmüller, Heiner Stuckenschmidt

+ shelf+ list

Widerlegung des Reduktionismus: Ausgewählte Beiträge Zum Kurt Gödel Preis 2019

2021

Oliver Passon, Christoph Benzmüller

+ shelf+ list

Logic and Argumentation 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings

2021

Pietro Baroni, Christoph Benzmüller, Yi Wáng