Martin Pollet
发表
Paul Libbrecht,
Erica Melis,
Carsten Ullrich,
2001
.
V. Sorge,
Martin Pollet,
H. Horacek,
2004
.
E. Melis,
Eric Andres,
Martin Pollet,
2001
.
V. Sorge,
Martin Pollet,
H. Horacek,
2004
.
Louise Dennis,
M. Jamnik,
Martin Pollet,
2005
.
E. Melis,
Adrian Frischauf,
P. Libbrecht,
2001
.
Martin Pollet,
Manfred Kerber,
2007
.
Martin Pollet,
Christoph Benzmüller,
Armin Fiedler,
2019,
The Seventeen Provers of the World.
A. Meier,
E. Melis,
Martin Pollet,
2003
.
A. Meier,
V. Sorge,
E. Melis,
2002
.
Volker Sorge,
Jörg H. Siekmann,
Karsten Konrad,
1999
.
E. Melis,
Adrian Frischauf,
P. Libbrecht,
2001
.
Volker Sorge,
Andreas Meier,
Martin Pollet,
2002,
J. Symb. Comput..
Jörg H. Siekmann,
Christoph Benzmüller,
Andreas Meier,
2002,
LPAR.
Manfred Kerber,
Martin Pollet,
Martin Pollet,
2005,
MKM.
A. Meier,
V. Sorge,
E. Melis,
1999,
Formal Aspects of Computing.
Volker Sorge,
Jörg H. Siekmann,
Christoph Benzmüller,
2002,
CADE.
Jörg H. Siekmann,
Christoph Benzmüller,
Andreas Meier,
2003
.
Volker Sorge,
Jörg H. Siekmann,
Andreas Meier,
2002
.
Volker Sorge,
Helmut Horacek,
Martin Pollet,
2002
.
Hazel Duncan,
A. Storkey,
A. Bundy,
2004
.
Volker Sorge,
Manfred Kerber,
Martin Pollet,
2004,
MKM.
Jörg H. Siekmann,
Erica Melis,
Martin Pollet,
2006,
Reasoning, Action and Interaction in AI Theories and Systems.
Louise A. Dennis,
Mateja Jamnik,
Martin Pollet,
2006,
Calculemus.
Louise Dennis,
M. Jamnik,
Martin Pollet,
2005
.
A. Meier,
K. Konrad,
Martin Pollet,
1999,
Formal Aspects of Computing.
A. Meier,
K. Konrad,
Martin Pollet,
1998
.