APA Citatie

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

Chicago Style citaat

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

MLA citatie

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

Let op: Deze citaties zijn niet altijd 100% accuraat.