Christoph Weidenbach · 2 obras en el catálogoObrasAAutomation of LogicAutomation of LogicAAutomated ReasoningAutomated Reasoning