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