Results
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
Download Product Archive File - 978-3-540-45470-0