Christoph Wernhard
发表
Christoph Wernhard,
2009,
FTP.
Christoph Wernhard,
2020,
ArXiv.
Christoph Wernhard,
C. Wernhard,
2015,
TABLEAUX.
Tobias Philipp,
Norbert Manthey,
Christoph Wernhard,
2013,
SAT.
Christoph Wernhard,
C. Wernhard,
2007
.
Christoph Wernhard,
C. Wernhard,
2004,
JELIA.
Christoph Wernhard,
2012,
J. Symb. Comput..
Christoph Wernhard,
C. Wernhard,
2008,
JELIA.
Christoph Wernhard,
2014
.
Christoph Wernhard,
C. Wernhard,
2018,
ArXiv.
Björn Pelzer,
Christoph Wernhard,
C. Wernhard,
2007,
CADE.
Steffen Hölldobler,
Tobias Philipp,
Christoph Wernhard,
2011,
AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning.
Christoph Wernhard,
C. Wernhard,
2009,
TABLEAUX.
Christoph Wernhard,
C. Wernhard,
2017,
SOQE.
Christoph Wernhard,
C. Wernhard,
2017,
SOQE.
Christoph Wernhard,
C. Wernhard,
2016,
PAAR@IJCAR.
Christoph Wernhard,
C. Wernhard,
2019,
ArXiv.
Christoph Wernhard,
C. Wernhard,
2013,
FroCos.
Christoph Wernhard,
Jana Kittelmann,
C. Wernhard,
2019,
DECLARE.
Christoph Wernhard,
2014
.
Steffen Hölldobler,
Emmanuelle-Anna Dietz,
Christoph Wernhard,
2014,
J. Appl. Non Class. Logics.
Christoph Wernhard,
2009
.
Facets of the PIE Environment for Proving, Interpolating and Eliminating on the Basis of First-Order Logic
pdf
Christoph Wernhard,
2019,
DECLARE.
Steffen Hölldobler,
Andrey Malikov,
Christoph Wernhard,
2017,
YSIP.
Christoph Wernhard,
2010,
ICLP.
Christoph Wernhard,
2011,
INAP/WLP.
Heinrich Behmann's Contributions to Second-Order Quantifier Elimination from the View of Computational Logic
pdf
Christoph Wernhard,
C. Wernhard,
2017,
ArXiv.
Christoph Wernhard,
C. Wernhard,
2017,
ArXiv.
Christoph Wernhard,
C. Wernhard,
2017,
SOQE.
Christoph Wernhard,
2021,
J. Autom. Reason..
Peter Baumgartner,
Ulrich Furbach,
Christoph Wernhard,
2003
.
Christoph Wernhard,
2011
.
Christoph Wernhard,
C. Wernhard,
2003
.
Christoph Wernhard,
C. Wernhard,
2012
.
Christoph Wernhard,
C. Wernhard,
2007
.