Stefan Brüning
发表
Rene Waldmann,
Peter Mühlfellner,
Stefan Wonneberger,
2016
.
Stefan Brüning,
Catherine Mitchell,
Achim Ansmann,
2005
.
Torsten Schaub,
Pascal Nicolas,
Stefan Brüning,
1996,
CADE.
Stefan Brüning,
1994,
LPAR.
Torsten Schaub,
Stefan Brüning,
1996
.
Michael Thielscher,
Steffen Hölldobler,
Josef Schneeberger,
1993,
ILPS.
Torsten Schaub,
Stefan Brüning,
1999,
ESCQARU.
Philipp Hüger,
Ulrich Wuttke,
Stefan Brüning,
2010
.
Stefan Brüning,
1995,
Log. J. IGPL.
Torsten Schaub,
Stefan Brüning,
2000,
Intellectics and Computational Logic.
Peter Mühlfellner,
Stefan Wonneberger,
Stefan Henze,
2013
.
Stefan Brüning,
S. Brüning,
1993,
Kurt Gödel Colloquium.
Torsten Schaub,
Stefan Brüning,
1996,
ECAI.
Miroslaw Malek,
Stephan Weißleder,
Stefan Brüning,
2007,
10th IEEE High Assurance Systems Engineering Symposium (HASE'07).
Stefan Brüning,
S. Brüning,
1997,
New Generation Computing.
Stefan Brüning,
1994,
CADE.
Wolfgang Bibel,
Thomas Rath,
Uwe Egly,
1995,
TABLEAUX.
Rene Waldmann,
Peter Mühlfellner,
Stefan Wonneberger,
2016
.
Torsten Schaub,
Stefan Brüning,
1994,
IPMU.
Michael Thielscher,
Steffen Hölldobler,
Josef Schneeberger,
1993,
PuK.
Miroslaw Malek,
Bratislav Milic,
Nikola Milanovic,
2007
.
Stefan Brüning,
1994
.
Stefan Brüning,
2001,
KI/ÖGAI.
Torsten Schaub,
Stefan Brüning,
1998,
Artif. Intell..
Peter Ibach,
Vladimir Stantchev,
Stefan Brüning,
2007,
2007 4th Workshop on Positioning, Navigation and Communication.
Torsten Schaub,
Stefan Brüning,
1996,
ISMIS.
Peter Baumgartner,
Stefan Brüning,
Peter Baumgartner,
1997,
Journal of Automated Reasoning.
Stefan Brüning,
S. Brüning,
1993,
LPAR.