APA引文

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引文

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

警告：這些引文格式不一定是100％准確.