Weidenbach, Christoph books & textbook
Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, ... (Lecture Notes in Artificial Intelligence)
Demri, Stéphane Kapur, Deepak Weidenbach, Christoph
Springer /2014-08-04 Paperback / 556 Pages
isbn-10: 3319085867 / isbn-13: 9783319085869
Programming Logics: Essays in Memory of Harald Ganzinger (Theoretical Computer Science and General Issues)
Voronkov, Andrei Weidenbach, Christoph
Springer /2013-04-03 Paperback / 457 Pages
isbn-10: 3642376509 / isbn-13: 9783642376504
Uber Den Gebrauch Des Chors in Der Tragodie... (German Edition)
Nabu Press /2012-04-08 Paperback / 144 Pages
isbn-10: 1279731303 / isbn-13: 9781279731307
