Παραπομπή APA

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

Παραπομπή Chicago Style

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

Παραπομπή MLA

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

Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.