Author

Christoph Weidenbach

2 books found

Cover of Automated Reasoning

Automated Reasoning

Stéphane Demri, Deepak Kapur, Christoph Weidenbach · First published 2014

Cover of Automation of Logic

Automation of Logic

Christoph Weidenbach · First published 2012