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: E-Buch Text Elektronisches Buch in proprietärem

Elektronisches Format: PDF

Sprache(n): Englisch

ISBN: 978-3-540-45470-0 / 978-3540454700 / 9783540454700

Verlag: Springer Berlin

Erscheinungsdatum: 02.08.2003

Seiten: 350

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

53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück