Penggayaan APA
Beckert, Bernhard.. (2005).
Automated Reasoning with Analytic Tableaux and Related Methods (1st ed.).
Berlin, Heidelberg:
Springer.
Chicago Style
Beckert, Bernhard..
Automated Reasoning with Analytic Tableaux and Related Methods.
1st ed.
Berlin, Heidelberg:
Springer,
2005.
E Book.
MLA Style
Beckert, Bernhard..
Automated Reasoning with Analytic Tableaux and Related Methods.
1st ed.
Berlin, Heidelberg:
Springer,
2005.
E Book.
Turabian Style
Beckert, Bernhard..
Automated Reasoning with Analytic Tableaux and Related Methods.
1st ed.
Berlin, Heidelberg:
Springer,
2005.
E Book.