Search Results

1 - 2 of 2 results for "Weidenbach, Christoph"

Programming Logics: Essays in Memory of Harald Ganzinger

Programming Logics

Essays in Memory of Harald Ganzinger

US$74.99

This Festschrift volume, published in memory of Harald Ganzinger, contains 17 papers from colleagues...

Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings

Automated Reasoning

7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings

Stéphane Demri, Deepak Kapur and 1 more...

This book constitutes the refereed proceedings of the 7th International Joint Conference on...