Schwichtenberg, H. (2006). Proof technology and computation: [proceedings of the NATO Advanced Study Institute on Proof Technology and Computation, Marktoberdorf, Germany, 29 July - 10 August 2003]. IOS Press.
Chicago-Zitierstil (17. Ausg.)Schwichtenberg, Helmut. Proof Technology and Computation: [proceedings of the NATO Advanced Study Institute on Proof Technology and Computation, Marktoberdorf, Germany, 29 July - 10 August 2003]. Amsterdam ; Berlin <<[u.a.]>>: IOS Press, 2006.
MLA-Zitierstil (9. Ausg.)Schwichtenberg, Helmut. Proof Technology and Computation: [proceedings of the NATO Advanced Study Institute on Proof Technology and Computation, Marktoberdorf, Germany, 29 July - 10 August 2003]. IOS Press, 2006.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.