Noch Fragen? 0800 / 33 82 637

Artificial Intelligence, Automated Reasoning, and Symbolic Computation

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

Produktform: Buch / Einband - flex.(Paperback)

Sprache(n): Englisch

ISBN: 978-3-540-43865-6 / 978-3540438656 / 9783540438656

Verlag: Springer Berlin

Erscheinungsdatum: 19.06.2002

Seiten: 350

Auflage: 1

Zielgruppe: Research

Herausgegeben von Jacques Calmet, Volker Sorge, Belaid Benhamou, Olga Caprotti, Laurent Henocque

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück