Gaya APA
Beckert, B. (2005).
Automated Reasoning with Analytic Tableaux and Related Methods (1st ed.).
Berlin, Heidelberg:
Springer.
Gaya MLA
Beckert, Bernhard..
"Automated Reasoning with Analytic Tableaux and Related Methods".
1st ed.
Berlin, Heidelberg:
Springer,
2005.
E Book.