Search
4 headings found for Kerber, Manfred
Heading | Type | Sample Title | |
---|---|---|---|
1 |
Krug, Manfred, 1937-2016
Krug, Manfred, 1937-.... Manfred Krug Krug, Manfred |
Personal | Abgehauen ein Mitschnitt und ein Tagebuch Abgehauen ein Mitschnitt und ein Tagebuch Der rasende Roland Jurek Beckers Neuigkeiten an Manfred Krug and Otti |
2 |
Kerber, Manfred
Kerber, Manfred, 1956- Manfred Kerber Ph. D. Universität Kaiserslautern 1992 Kerber, Manfred, 19..-.... |
Personal | Adaptation of Declaratively Represented Methods in Proof Planning Budget imbalance criteria for auctions : a formalized theorem Applying the Isabelle Insider framework to airplane security Symbolic computation and automated reasoning the CALCULEMUS-2000 Symposium |
3 |
Kerber, Clemens
|
Personal |
|
4 |
Kerber, Clemens 1937-2016
|
Personal |
|