Franz (Hrsg.) Baader

Automated Deduction - CADE-19

19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings

Buch

CHF 130.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen

V103: Folgt in ca. 5 Arbeitstagen

Produktdetails

ISBN: 978-3-540-40559-7
EAN: 9783540405597
Produktnummer: 8212243
Verlag: Springer Berlin Heidelberg
Sprache: Englisch
Erscheinungsjahr: 2003
Seitenangabe: 524 S.
Masse: H23.5 cm x B15.5 cm x D2.8 cm 785 g
Auflage: 2003
Abbildungen: Paperback
Gewicht: 785

13 weitere Werke von Franz (Hrsg.) Baader:

The Description Logic Handbook
19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings

Buch

CHF 139.00

The Description Logic Handbook: Theory, Implementation, and Applications
19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings

Buch

CHF 92.00

Description Logic Handbook
19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings

Ebook (PDF Format)

CHF 83.85

Logic for Programming, Artificial Intelligence, and Reasoning
19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings

Ebook (PDF Format)

CHF 140.00

Term Rewriting and Applications
19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings

Ebook (PDF Format)

CHF 103.00

Automated Deduction - CADE-19
19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings

Ebook (PDF Format)

CHF 120.00

Description Logic Handbook
19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings

Ebook (PDF Format)

CHF 123.85

KI 2001: Advances in Artificial Intelligence
19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings

Ebook (PDF Format)

CHF 116.00

Term Rewriting and Applications
19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings

Buch

CHF 114.00

KI 2001: Advances in Artificial Intelligence
19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings

Buch

CHF 126.00

Description Logic Handbook
19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings

Ebook (PDF Format)

CHF 154.80

The Description Logic Handbook
19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings

Buch

CHF 145.00

Logic for Programming, Artificial Intelligence, and Reasoning
19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings

Buch

CHF 144.00

Bewertungen

0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.

Anmelden

Ihre E-Mail-Adresse

Ihr Passwort

Bewertungen nur in aktueller Sprache anzeigen.

Keine Bewertungen gefunden. Seien Sie der Erste und teilen Sie Ihre Erkenntnisse mit anderen.