Noch Fragen? 0800 / 33 82 637

Artikel empfehlen

Automated Deduction – CADE-20

20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Dieser Artikel gehört zu den folgenden Serien

Sprache(n): Englisch

ISBN: 978-3-540-28005-7 / 978-3540280057 / 9783540280057

Verlag: Springer Berlin

Erscheinungsdatum: 14.07.2005

Seiten: 466

Auflage: 1

Zielgruppe: Research

Herausgegeben von Robert Nieuwenhuis

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück