Dyfyniad APA

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

Dyfyniad Arddull Chicago

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

Dyfyniad MLA

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

Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.