Стиль цитування APA (7-ме видання)
Jacques Calmet, B. B. (2002). Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings. Springer.
Чикаго стиль цитування (17-те видання)
Jacques Calmet, Belaid Benhamou. Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings. Berlín, Alemania: Springer, 2002.
Стиль цитування MLA (9-ме видання)
Jacques Calmet, Belaid Benhamou. Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings. Springer, 2002.
Попередження: стилі цитування не завжди правильні на всі 100%.