APA citiranje

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

Trích dẫn kiểu Chicago

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

MLA citiranje

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

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