NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany, ebrary, Inc, Schwichtenberg, H., & Spies, K. (2006). Proof technology and computation. IOS Press.
Copié avec succès vers le presse-papier
Échec de la copie vers le presse-papier
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.
Copié avec succès vers le presse-papier
Échec de la copie vers le presse-papier
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.
Copié avec succès vers le presse-papier
Échec de la copie vers le presse-papier
Attention : ces citations peuvent ne pas être correctes à 100%.