Häftad, Tyska, 1982
Automated Theorem Proving
584 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
Produktinformation
- Utgivningsdatum: 1982-01-01
- Mått: 170 x 244 x 17 mm
- Vikt: 542 g
- Format: Häftad
- Språk: Tyska
- Antal sidor: 292
- Upplaga: 1982
- Förlag: Springer Fachmedien Wiesbaden
- ISBN: 9783528085209
Utforska kategorier
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.