NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany, ebrary, Inc, Schwichtenberg, H., & Spies, K. (2006). Proof technology and computation. IOS Press.
Kopírování bylo úspěšné
Kopírování se nezdařilo
Citace podle Chicago (17th ed.)
NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany, Inc ebrary, Helmut Schwichtenberg, a Katharina Spies. Proof Technology and Computation. Amsterdam ; Washington, DC: IOS Press, 2006.
Kopírování bylo úspěšné
Kopírování se nezdařilo
Citace podle MLA (9th ed.)
NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany, et al. Proof Technology and Computation. IOS Press, 2006.
Kopírování bylo úspěšné
Kopírování se nezdařilo
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..