SpringerLink (Online service), Calmet, J., Benhamou, B., Caprotti, O., Henocque, L., & Sorge, V. (2002). Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings (1st ed. 2002.). Springer Berlin Heidelberg : Imprint: Springer. https://doi.org/10.1007/3-540-45470-5
Παραπομπή σε μορφή Chicago (17η εκδ.)SpringerLink (Online service), Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, και Volker Sorge. Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings. 1st ed. 2002. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2002. https://doi.org/10.1007/3-540-45470-5.
Παραπομπή σε μορφή MLA (8th εκδ.)SpringerLink (Online service), et al. Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings. 1st ed. 2002. Springer Berlin Heidelberg : Imprint: Springer, 2002. https://doi.org/10.1007/3-540-45470-5.
