Penggayaan APA
Hutter, Dieter., Stephan, Werner.. (2005).
Mechanizing Mathematical Reasoning (1st ed.).
Berlin:
Springer.
Chicago Style
Hutter, Dieter., Stephan, Werner..
Mechanizing Mathematical Reasoning.
1st ed.
Berlin:
Springer,
2005.
E Book.
MLA Style
Hutter, Dieter., Stephan, Werner..
Mechanizing Mathematical Reasoning.
1st ed.
Berlin:
Springer,
2005.
E Book.
Turabian Style
Hutter, Dieter., Stephan, Werner..
Mechanizing Mathematical Reasoning.
1st ed.
Berlin:
Springer,
2005.
E Book.