APA (7th ed.) Citation

AISC (Conference) Marseille, France), SpringerLink (Online service), Calculemus (Symposium), & Calmet, J. (2002). Artificial intelligence, automated reasoning, and symbolic computation: Joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 : proceedings. Springer.

Chicago Style (17th ed.) Citation

AISC (Conference) Marseille, France), SpringerLink (Online service), Calculemus (Symposium), and Jacques Calmet. Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 : Proceedings. Berlin ; New York: Springer, 2002.

MLA (9th ed.) Citation

AISC (Conference) Marseille, France), et al. Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 : Proceedings. Springer, 2002.