Alan Bundy. (1994). Automated deduction CADE 12. Springer-Verlag.
Chicago ZitierstilAlan Bundy. Automated Deduction CADE 12. Springer-Verlag, 1994.
MLA ZitierstilAlan Bundy. Automated Deduction CADE 12. Springer-Verlag, 1994.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.