APA Zitierstil

Bonacina, M. P., & Stickel, M. E. (2020). Automated Reasoning and Mathematics. Springer Berlin Heidelberg.

Chicago Zitierstil

Bonacina, Maria Paola, und Mark E. Stickel. Automated Reasoning and Mathematics. Springer Berlin Heidelberg, 2020.

MLA Zitierstil

Bonacina, Maria Paola, und Mark E. Stickel. Automated Reasoning and Mathematics. Springer Berlin Heidelberg, 2020.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.