Gaya APA
Bonacina, M, P., Stickel, M, E. (2013).
Automated Reasoning and Mathematics .
Springer Berlin Heidelberg:
Springer.
Gaya MLA
Bonacina, Maria, Paola., Stickel, Mark, E..
"Automated Reasoning and Mathematics".
Springer Berlin Heidelberg:
Springer,
2013.
E-Book.