APA citiranje

Bonacina. (2013). Automated Reasoning and Mathematics (1.). Springer Berlin Heidelberg.

Chicago Style (17th ed.) Citation

Bonacina. Automated Reasoning and Mathematics. 1. Springer Berlin Heidelberg, 2013.

MLA citiranje

Bonacina. Automated Reasoning and Mathematics. 1. Springer Berlin Heidelberg, 2013.

Opozorilo: Ti citati niso vedno 100% točni.