Christoph Benzmüller · 5 obras en el catálogoObrasKI 2019 : Advances in Artificial IntelligenceLLogic and ArgumentationLogic and ArgumentationWWiderlegung des ReduktionismusWiderlegung des ReduktionismusRReasoning in simple type theoryReasoning in simple type theoryAAutomated ReasoningAutomated Reasoning