Artificial Intelligence, Automated Reasoning, and Symbolic Computation
de Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge
Materias
Ediciones (1)
- Artificial Intelligence, Automated Reasoning, and Symbolic Computation (2006)
Springer London, Limited · inglés · ISBN 9783540454700
