Penggayaan APA
Nieuwenhuis, Robert.. (2005).
Automated Deduction – CADE-20 (1st ed.).
Berlin, Heidelberg:
Springer.
Chicago Style
Nieuwenhuis, Robert..
Automated Deduction – CADE-20.
1st ed.
Berlin, Heidelberg:
Springer,
2005.
E Book.
MLA Style
Nieuwenhuis, Robert..
Automated Deduction – CADE-20.
1st ed.
Berlin, Heidelberg:
Springer,
2005.
E Book.
Turabian Style
Nieuwenhuis, Robert..
Automated Deduction – CADE-20.
1st ed.
Berlin, Heidelberg:
Springer,
2005.
E Book.