NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany, ebrary, Inc, Schwichtenberg, H., & Spies, K. (2006). Proof technology and computation. IOS Press.
Copia nella clipboard completata con successo
Copia nella clipboard fallita
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.
Copia nella clipboard completata con successo
Copia nella clipboard fallita
Citatione MLA (9a ed.)
NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany, et al. Proof Technology and Computation. IOS Press, 2006.
Copia nella clipboard completata con successo
Copia nella clipboard fallita
Attenzione: Queste citazioni potrebbero non essere precise al 100%.