Alan Bundy. (1994). Automated deduction CADE 12. Springer-Verlag.
Chicago Edition CitationAlan Bundy. Automated Deduction CADE 12. Springer-Verlag, 1994.
MLA引文Alan Bundy. Automated Deduction CADE 12. Springer-Verlag, 1994.
警告:这些引文格式不一定是100%准确.
Alan Bundy. (1994). Automated deduction CADE 12. Springer-Verlag.
Chicago Edition CitationAlan Bundy. Automated Deduction CADE 12. Springer-Verlag, 1994.
MLA引文Alan Bundy. Automated Deduction CADE 12. Springer-Verlag, 1994.