Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings

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 AISC Lecture Notes in Computer Science 2385 Springer 2002 3-540-43865-3 https://doi.org/10.1007/3-540-45470-5 https://www.wikidata.org/entity/Q62041415 db/conf/aisc/aisc2002.html