Style de citation APA

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

Style de citation Chicago

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

Style de citation MLA

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

Attention : ces citations peuvent ne pas être correctes à 100%.