Style de citation APA (7e éd.)
NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany, ebrary, Inc, Schwichtenberg, H., & Spies, K. (2006). Proof technology and computation. IOS Press.
Style de citation Chicago (17e éd.)
NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany, Inc ebrary, Helmut Schwichtenberg, et Katharina Spies. Proof Technology and Computation. Amsterdam ; Washington, DC: IOS Press, 2006.
Style de citation MLA (9e éd.)
NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany, et al. Proof Technology and Computation. IOS Press, 2006.
Attention : ces citations peuvent ne pas être correctes à 100%.