Reinhold Letz
发表
Christoph Goller,
Reinhold Letz,
Klaus Mayr,
2004,
Journal of Automated Reasoning.
Johann Schumann,
Stefan Bayerl,
Reinhold Letz,
1989,
Wissensbasierte Systeme.
Reinhold Letz,
Gernot Stenz,
G. Stenz,
2007,
Journal of Automated Reasoning.
Wolfgang Bibel,
Johann Schumann,
Reinhold Letz,
1987
.
Reinhold Letz,
Gernot Stenz,
G. Stenz,
2001,
Handbook of Automated Reasoning.
Franz J. Kurfess,
Wolfgang Ertel,
Reinhold Letz,
1989,
PARLE.
Johann Schumann,
Reinhold Letz,
Franz Kurfess,
1990
.
Reinhold Letz,
1998,
CADE.
Christoph Goller,
Johann Schumann,
Reinhold Letz,
1994,
CADE.
Reinhold Letz,
2004,
Journal of Automated Reasoning.
Wolfgang Bibel,
Johann Schumann,
Stefan Bayerl,
1992,
Journal of Automated Reasoning.
Reinhold Letz,
2000,
Intellectics and Computational Logic.
Franz J. Kurfess,
Johann Schumann,
Stefan Bayerl,
1986,
AIMSA.
Reinhold Letz,
1999
.
Reinhold Letz,
Gernot Stenz,
2001,
LPAR.
Reinhold Letz,
Gernot Stenz,
G. Stenz,
2001,
IJCAR.
Christoph Weidenbach,
Reinhold Letz,
1998,
Künstliche Intell..
Reinhold Letz,
Andreas Wolf,
Andreas Wolf,
1998,
FLAIRS.
Reinhold Letz,
Klaus Mayr,
1992,
TABLEAUX.
Reinhold Letz,
1993
.
Franz J. Kurfess,
Johann Schumann,
Reinhold Letz,
1990,
CADE.
Reinhold Letz,
1993,
IJCAI.
Reinhold Letz,
Gernot Stenz,
R. Letz,
2003,
TABLEAUX.
Ortrun Ibens,
Reinhold Letz,
1997,
TABLEAUX.
Reinhold Letz,
Gernot Stenz,
2004,
IJCAR.
Reinhold Letz,
R. Letz,
2002,
TABLEAUX.
Joachim Steinbach,
Christoph Goller,
Johann Schumann,
2004,
Journal of Automated Reasoning.
Johann Schumann,
Reinhold Letz,
J. Schumann,
1990,
CADE.
Reinhold Letz,
Gernot Stenz,
G. Stenz,
2002,
TABLEAUX.