Noch Fragen? 0800 / 33 82 637

Automated Theorem Proving

Produktform: Buch / Einband - flex.(Paperback)

Sprache(n): Deutsch

ISBN: 978-3-528-08520-9 / 978-3528085209 / 9783528085209

Verlag: Vieweg & Teubner

Erscheinungsdatum: 01.01.1982

Seiten: 292

Auflage: 1

Zielgruppe: Research

Autor(en): Wolfgang Bibel

54,99 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück