Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge, editors, Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings. Volume 2385 of Lecture Notes in Computer Science, Springer, 2002.
Conference: AISC2002
@proceedings{aisc:2002,
title = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings},
year = {2002},
researchr = {https://researchr.org/publication/aisc%3A2002},
cites = {0},
citedby = {0},
booktitle = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings},
conference = {AISC},
editor = {Jacques Calmet and Belaid Benhamou and Olga Caprotti and Laurent Henocque and Volker Sorge},
volume = {2385},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-43865-3},
}