Klaus Mayr
发表
Christoph Goller,
Reinhold Letz,
Klaus Mayr,
2004,
Journal of Automated Reasoning.
Klaus Mayr,
1995,
TABLEAUX.
Christoph Goller,
Johann Schumann,
Reinhold Letz,
1994,
CADE.
Klaus Mayr,
K. Mayr,
1993,
LPAR.
Klaus Mayr,
1995
.
Reinhold Letz,
Klaus Mayr,
1992,
TABLEAUX.
Klaus Mayr,
1993,
WLP.
Joachim Steinbach,
Christoph Goller,
Johann Schumann,
2004,
Journal of Automated Reasoning.
Klaus Mayr,
Heidi Hohensohn,
Jiayin Hang,
2005
.
Klaus Mayr,
Barbara Zündorf,
Helge Schulz,
2001
.