APA Citation

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 Citation

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

Advarsel: Disse citationer er muligvist ikke 100% nøjagtige.