Produktbild
Dieter Hofbauer

Grundlagen des maschinellen Beweisens

Eine Einführung für Informatiker und Mathematiker

Ebook (PDF Format)

CHF 46.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen
Versandkostenfrei

Produktdetails


Weitere Autoren: Kutsche, Ralf-Detlef
  • ISBN: 978-3-322-84223-7
  • EAN: 9783322842237
  • Produktnummer: 34882381
  • Verlag: Vieweg+Teubner Verlag
  • Sprache: Deutsch
  • Erscheinungsjahr: 2013
  • Seitenangabe: 172 S.
  • Plattform: PDF
  • Auflage: 1989
  • Abbildungen: Bibliographie

1 weiteres Werk von Dieter Hofbauer:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.