Hofbauer, D., & Kutsche, R. (1989). Grundlagen des maschinellen Beweisens: Eine Einführung für Informatiker und Mathematiker. Vieweg.
Chicago-Zitierstil (17. Ausg.)Hofbauer, Dieter, und Ralf-Detlef Kutsche. Grundlagen Des Maschinellen Beweisens: Eine Einführung Für Informatiker Und Mathematiker. Braunschweig u.a: Vieweg, 1989.
MLA-Zitierstil (9. Ausg.)Hofbauer, Dieter, und Ralf-Detlef Kutsche. Grundlagen Des Maschinellen Beweisens: Eine Einführung Für Informatiker Und Mathematiker. Vieweg, 1989.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.