APA Alıntı

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

Chicago Stili Alıntı

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

MLA Alıntı

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

Uyarı: Bu alıntı herzaman %100 doğru olmayabilir..