Christoph Weidenbach

Identifiers

Open LibraryOL7880701A

Top Subjects

Logic (1)

Books by Christoph Weidenbach

Total count: 3

Automation of Logic

Taylor & Francis Group2012-01-01
Programming LogicsEssays in Memory of Harald Ganzinger

Springer2013-04-03
Automated Reasoning7th International Joint Conference, IJCAR 2014, Held As Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings

Springer2014-01-01