![Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings](https://i0.books-express.ro/bt/9783540438656/artificial-intelligence-automated-reasoning-and-symbolic-computation.jpg)
Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings
Editat de Jacques Calmet et al.
19 iun 2002
Paperback
Preț: 335.69 lei 419.61 lei
6-8 săpt.
-20%