Nieuwenhuis, R. (2020). Automated Deduction – CADE-20. Springer Berlin Heidelberg.
シカゴスタイル引用形Nieuwenhuis, Robert. Automated Deduction � CADE-20. Springer Berlin Heidelberg, 2020.
MLA引用形式Nieuwenhuis, Robert. Automated Deduction � CADE-20. Springer Berlin Heidelberg, 2020.
警告: この引用は必ずしも正確ではありません.