Citace podle APA (7th ed.)

Schwichtenberg, H., & Spies, K. (2006). Proof technology and computation (1.). IOS Press.

Citace podle Chicago (17th ed.)

Schwichtenberg, Helmut, a Katharina Spies. Proof Technology and Computation. 1. Amsterdam ; Tokyo: IOS Press, 2006.

Citace podle MLA (9th ed.)

Schwichtenberg, Helmut, a Katharina Spies. Proof Technology and Computation. 1. IOS Press, 2006.

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..