APA Alıntı

Alan Bundy. (1994). Automated deduction CADE 12. Springer-Verlag.

Chicago Stili Alıntı

Alan Bundy. Automated Deduction CADE 12. Springer-Verlag, 1994.

MLA Alıntı

Alan Bundy. Automated Deduction CADE 12. Springer-Verlag, 1994.

Uyarı: Bu alıntı herzaman %100 doğru olmayabilir..