Häftad, Tyska, 1991
Automatisierung von Terminierungsbeweisen
585 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
Produktinformation
- Utgivningsdatum: 1991-01-01
- Mått: 170 x 244 x 15 mm
- Vikt: 468 g
- Format: Häftad
- Språk: Tyska
- Serie: Künstliche Intelligenz
- Antal sidor: 253
- Upplaga: 1991
- Förlag: Springer Fachmedien Wiesbaden
- ISBN: 9783528047719
Utforska kategorier
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.