

Grundlagen des maschinellen Beweisens
- Alaotsikko
- Eine Einfuhrung fur Informatiker und Mathematiker
- Kirjailija
- Dieter Hofbauer, Ralf-Detlef Kutsche
- ISBN
- 9783322842237
- Kieli
- saksa
- Julkaisupäivä
- 8.3.2013
- Kustantaja
- Vieweg+Teubner Verlag
- Formaatti
- PDF - Adobe DRM
- Lue e-kirjoja täällä
- Lue e-kirja mobiililaitteella/tabletilla
- Lukulaite
- Tietokone