Gaya APA
Hutter, D., Stephan, W.
(2005).
Mechanizing Mathematical Reasoning
(
1st ed.)
.
Berlin:
Springer.
Gaya MLA
Hutter, Dieter.., Stephan, Werner..
"Mechanizing Mathematical Reasoning".
1st ed.
Berlin:
Springer,
2005.
E Book.