Claus-Peter Wirth

发表

Claus-Peter Wirth, Claus-Peter Wirth, 2005, Mechanizing Mathematical Reasoning.
Bernhard Gramlich, Claus-Peter Wirth, B. Gramlich, 1992, CTRS.
Frieder Stolzenburg, Claus-Peter Wirth, 2013, ArXiv.
Claus-Peter Wirth, Claus-Peter Wirth, 2009, J. Symb. Comput..
Bernhard Gramlich, Claus-Peter Wirth, 1994, J. Symb. Comput..
Claus-Peter Wirth, Claus-Peter Wirth, 2004, Log. J. IGPL.
Claus-Peter Wirth, 2012, J. Symb. Comput..
Bernhard Gramlich, Claus-Peter Wirth, 1994, CADE.
Jörg H. Siekmann, Christoph Benzmüller, Serge Autexier, 2009, Logic from Russell to Church.
Claus-Peter Wirth, Jürgen Avenhaus, Ulrich Kühler, 2003, CADE.
Volker Sorge, Jörg H. Siekmann, Christoph Benzmüller, 2002, CADE.
Murdoch James Gabbay, Claus-Peter Wirth, 2015, J. Log. Comput..
Jörg H. Siekmann, Christoph Benzmüller, Serge Autexier, 2009, ArXiv.
J. Strother Moore, Claus-Peter Wirth, A. Bundy, 2013, FLAP.
Claus-Peter Wirth, Rüdiger Lunde, 2009, ArXiv.
Claus-Peter Wirth, Volker Mattick, 2009, ArXiv.
Christoph Benzmüller, Andreas Meier, Serge Autexier, 2005, MKM.
Frieder Stolzenburg, Claus-Peter Wirth, F. Stolzenburg, 2016, Annals of Mathematics and Artificial Intelligence.
Frieder Stolzenburg, Claus-Peter Wirth, 2014, KR.
Volker Sorge, Jörg H. Siekmann, Andreas Meier, 2002 .
Claus-Peter Wirth, 2002, TABLEAUX.
Ulrich Furbach, Frieder Stolzenburg, Claudia Schon, 2015, KI - Künstliche Intelligenz.
Claus-Peter Wirth, Rüdiger Lunde, C. Wirth, 2009, ArXiv.