APA-Zitierstil (7. Ausg.)

Zhang, H. A. C. (1988). 9TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION: PROCEEDINGS, ARGONNE, ILLINOIS, USA, MAY 23. - 26. 1988. Springer.

Chicago-Zitierstil (17. Ausg.)

Zhang, Hantao And Co. 9TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION: PROCEEDINGS, ARGONNE, ILLINOIS, USA, MAY 23. - 26. 1988. Berlin: Springer, 1988.

MLA-Zitierstil (9. Ausg.)

Zhang, Hantao And Co. 9TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION: PROCEEDINGS, ARGONNE, ILLINOIS, USA, MAY 23. - 26. 1988. Springer, 1988.