Bonacina, M. P., & Stickel, M. E. (2020). Automated Reasoning and Mathematics. Springer Berlin Heidelberg.
シカゴスタイル引用形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.
警告: この引用は必ずしも正確ではありません.