Benhamou, Belaid books & textbook
Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, ... (Lecture Notes in Computer Science, 2385)
Calmet, Jacques Benhamou, Belaid Caprotti, Olga Henocque, Laurent Sorge, Volker
Springer /2002-06-19 Paperback / 364 Pages
isbn-10: 3540438653 / isbn-13: 9783540438656
