Grundlagen des maschinellen Beweisens
Eine Einführung für Informatiker und Mathematiker
Häftad, Tyska, 1991
599 kr
Beställningsvara. Skickas inom 10-15 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.Produktinformation
- Utgivningsdatum1991-10-01
- Mått170 x 244 x 11 mm
- Vikt335 g
- FormatHäftad
- SpråkTyska
- Antal sidor174
- Upplaga2
- FörlagSpringer Fachmedien Wiesbaden
- ISBN9783528147181