Häftad, Engelska, 1984
Automated Theorem Proving
After 25 Years
Av W. W Bledsoe, Donald W. Loveland
Del i serien Contemporary Mathematics
813 kr
Skickas torsdag 12/11. Fri frakt över 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
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.