Noch Fragen? 0800 / 33 82 637

Grundlagen des maschinellen Beweisens

Eine Einführung für Informatiker und Mathematiker

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Elektronisches Format: PDF

Sprache(n): Deutsch

ISBN: 978-3-322-84223-7 / 978-3322842237 / 9783322842237

Verlag: Vieweg & Teubner

Erscheinungsdatum: 08.03.2013

Seiten: 172

Autor(en): Ralf-Detlef Kutsche, Dieter Hofbauer

42,99 € inkl. MwSt.
Fixed Retail Price
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück