Citazione Stile APA (7a Edizione)
NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany, ebrary, Inc, Schwichtenberg, H., & Spies, K. (2006). Proof technology and computation. IOS Press.
Citazione stile Chigago Style (17a edizione)
NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany, Inc ebrary, Helmut Schwichtenberg, e Katharina Spies. Proof Technology and Computation. Amsterdam ; Washington, DC: IOS Press, 2006.
Citatione MLA (9a ed.)
NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany, et al. Proof Technology and Computation. IOS Press, 2006.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.