Ida. (2013). Automated Deduction in Geometry (1.). Springer Berlin Heidelberg.
Citace podle Chicago (17th ed.)Ida. Automated Deduction in Geometry. 1. Springer Berlin Heidelberg, 2013.
Citace podle MLA (8th ed.)Ida. Automated Deduction in Geometry. 1. Springer Berlin Heidelberg, 2013.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..