Citáce podľa APA (7th ed.)

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

Citácia podle Chicago (17th ed.)

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

Citácia podľa MLA (8th ed.)

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

Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..