Gaya APA
Bonacina, M, P.
(2013).
Automated Deduction – CADE-24
.
Springer Berlin Heidelberg:
Springer.
Gaya MLA
Bonacina, Maria, Paola.
"Automated Deduction – CADE-24".
Springer Berlin Heidelberg:
Springer,
2013.
E-Book.