Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, ... Notes in Computer Science (2385), Band 2385)
von:
Volker Sorge
· Olga Caprotti ·
Jacques Calmet
· Laurent Henocque · Belaid Benhamou
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-43865-6
ISBN-10: 3-540-43865-3
Springer
· 2008