Número de Cutter-SanbornC164aEntrada «Calm» → 164 · marca de obra “a”

Artificial Intelligence, Automated Reasoning, and Symbolic Computation

Name: Artificial Intelligence, Automated Reasoning, and Symbolic Computation
ISBN: 9783540454700

Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings

Autor	Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque,

Artificial Intelligence, Automated Reasoning, and Symbolic Computation (2006) — ISBN 97835 | Cutter Number