Extra Materials Archive

Book cover

Artificial Intelligence, Automated Reasoning, and Symbolic Computation

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

© 2002

Soft cover - Print (ISBN: 978-3-540-43865-6)

Electronic (ISBN: 978-3-540-45470-0)

View this book on SpringerLink

Extra Materials File 978-3-540-45470-0