Fortell venner om denne varen:
Automatisierung Von Terminierungsbeweisen - Kunstliche Intelligenz 1991 edition
Christoph Walther
Pris
NOK 579
Bestillingsvarer
Forventes levert 5. - 13. nov
Julegaver kan byttes frem til 31. januar
Legg til iMusic ønskeliste
eller
Automatisierung Von Terminierungsbeweisen - Kunstliche Intelligenz 1991 edition
Christoph Walther
253 pages, black & white illustrations, bibliography
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 1991 |
| ISBN13 | 9783528047719 |
| Utgivere | Springer Fachmedien Wiesbaden |
| Antall sider | 253 |
| Mål | 170 × 244 × 14 mm · 430 g |
| Språk | Tysk |
![Cover for Christoph Walther · Semantik Und Programmverifikation - Teubner Texte Zur Informatik (Pocketbok) [German, 2001 edition] (2001)](https://imusic.b-cdn.net/images/item/original/366/9783519003366.jpg?christoph-walther-2001-semantik-und-programmverifikation-teubner-texte-zur-informatik-pocketbok&class=scaled&v=1495394319)