Häftad, Engelska, 1984
Del i serien Contemporary Mathematics
Automated Theorem Proving
After 25 Years
Av W. W Bledsoe, Donald W. Loveland
1059 kr
Skickas torsdag 12/11. Fri frakt för medlemmar vid köp för minst 249 kr.
Beskrivning
Produktinformation
- Utgivningsdatum: 1984-12-30
- Mått: 252 x 171 x 14 mm
- Vikt: 510 g
- Format: Häftad
- Språk: Engelska
- Serie: Contemporary Mathematics
- Förlag: American Mathematical Society
- ISBN: 9780821850275
Utforska kategorier
Butikslager
Ej i lager i butik.
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.