Gaya APA
Ida, T., Fleuriot, J.
(2013).
Automated Deduction in Geometry
.
Springer Berlin Heidelberg:
Springer.
Gaya MLA
Ida, Tetsuo., Fleuriot, Jacques.
"Automated Deduction in Geometry".
Springer Berlin Heidelberg:
Springer,
2013.
E-Book.