Noch Fragen? 0800 / 33 82 637

Automated Theorem Proving

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

Elektronisches Format: PDF

Sprache(n): Deutsch

ISBN: 978-3-322-90100-2 / 978-3322901002 / 9783322901002

Verlag: Vieweg & Teubner

Erscheinungsdatum: 08.03.2013

Seiten: 292

Autor(en): Wolfgang Bibel

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

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück