Citação norma APA

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

Citação norma Chicago

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

Citação norma MLA

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

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.