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 Style (17th ed.) CitationSchwichtenberg, 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 (9th ed.) CitationSchwichtenberg, 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.
Warning: These citations may not always be 100% accurate.