Christoph Benzmüller

Identifiers

Open LibraryOL7959619A

Top Subjects

Symbolic and mathematical Logic (1)
Type theory (1)

Books by Christoph Benzmüller

Total count: 7

Reasoning in simple type theoryfestschrift in honour of Peter B. Andrews on this 70th birthday

College Publications2008-01-01
Rules and ReasoningSecond International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings

Springer2018-08-24
KI 2019 : Advances in Artificial Intelligence42nd German Conference on AI, Kassel, Germany, September 23–26, 2019, Proceedings

Springer2019-08-24
Intelligent Computer Mathematics13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings

Springer International Publishing AG2020-01-01
Widerlegung des ReduktionismusAusgewählte Beiträge Zum Kurt Gödel Preis 2019

Springer Berlin / Heidelberg2021-01-01
Logic and Argumentation4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings

Springer International Publishing AG2021-01-01
Automated Reasoning12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II

Springer2024-01-01