Jürgen Müller
发表
Jürgen Müller,
Rolf Socher-Ambrosius,
1988,
GWAI.
Jürgen Müller,
koe,
jm,
2012
.
Jürgen Müller,
Jörg Denzinger,
Jürgen Avenhaus,
1989,
RTA.
Jürgen Müller,
Jörg Denzinger,
J. Müller,
1989,
GWAI.
Jürgen Müller,
Michael Massoth,
Anrufer Pre-Validierung,
2010
.
Jürgen Müller,
2014
.
THEOPOGLES - A Theorem Prover Based on First-Order Polynominals and a Special Knuth-Bendix Procedure
Jürgen Müller,
1987,
GWAI.
Jürgen Müller,
Rolf Socher-Ambrosius,
1989,
Künstliche Intell..
Jürgen Müller,
Elvira Wagner,
1986,
GWAI.
Jürgen Müller,
Jörg Hähner,
Tobias Zimmer,
2003
.
Jürgen Müller,
Stefan Bussmann,
1993,
EPIA.
Jürgen Müller,
Rolf Socher-Ambrosius,
1989,
GWAI.