Alan Bundy. (1994). Automated deduction CADE 12. Springer-Verlag.
シカゴスタイル引用形Alan Bundy. Automated Deduction CADE 12. Springer-Verlag, 1994.
MLA引用形式Alan Bundy. Automated Deduction CADE 12. Springer-Verlag, 1994.
警告: この引用は必ずしも正確ではありません.
APA引用形式