Calmet, J. (2002). Artificial intelligence, automated reasoning, and symbolic computation: 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.
Chicago stil citiranjaCalmet, Jacques. Artificial intelligence, automated reasoning, and symbolic computation: 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 stil citiranjaCalmet, Jacques. Artificial intelligence, automated reasoning, and symbolic computation: 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.