APA (7th ed.) Citation

International Conference on Automated Deduction Copenhagen, Denmark, SpringerLink (Online service), & Voronkov, A. (2002). Automated deduction-CADE-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings. Springer.

Chicago Style (17th ed.) Citation

International Conference on Automated Deduction Copenhagen, Denmark, SpringerLink (Online service), and Andrei Voronkov. Automated Deduction-CADE-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : Proceedings. Berlin ; New York: Springer, 2002.

MLA (9th ed.) Citation

International Conference on Automated Deduction Copenhagen, Denmark, et al. Automated Deduction-CADE-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : Proceedings. Springer, 2002.

Warning: These citations may not always be 100% accurate.