Buy Used and New Laurent Henocque Books

Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540438656

Format: Paperback (343 pages)
Publisher: Springer
Published: 19 Jun 2002

Save for later