Noch Fragen? 0800 / 33 82 637

Artikel empfehlen

Grundlagen des maschinellen Beweisens

Eine Einführung für Informatiker und Mathematiker

Produktform: Buch / Einband - flex.(Paperback)

Sprache(n): Deutsch

ISBN: 978-3-528-04718-4 / 978-3528047184 / 9783528047184

Verlag: Vieweg & Teubner

Erscheinungsdatum: 01.01.1989

Seiten: 172

Auflage: 1

Zielgruppe: Research

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

54,99 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück