Andreas Franke
发表
V. Sorge,
Martin Pollet,
H. Horacek,
2004
.
V. Sorge,
Martin Pollet,
H. Horacek,
2004
.
A. Meier,
V. Sorge,
E. Melis,
2002
.
Volker Sorge,
Jörg H. Siekmann,
Christoph Benzmüller,
2002,
CADE.
Volker Sorge,
Jörg H. Siekmann,
Andreas Meier,
2002
.
Volker Sorge,
Helmut Horacek,
Martin Pollet,
2002
.
Michael Kohlhase,
Andreas Franke,
M. Kohlhase,
1999,
CADE.
Volker Sorge,
Michael Kohlhase,
Christoph G. Jung,
1999,
J. Univers. Comput. Sci..
Michael Kohlhase,
Andreas Franke,
M. Kohlhase,
1999,
Calculemus.
Andreas Franke,
J. Hedell,
Carl Ceder,
2010
.