Christoph Benzmüller

Logic and Argumentation

2021

Widerlegung des Reduktionismus

Widerlegung des Reduktionismus

2021

KI 2019 : Advances in Artificial Intelligence

2019

Reasoning in simple type theor

Reasoning in simple type theory

2008