Buch
Thirty Five Years of Automating Mathematics
F.D. Kamareddine (Hrsg.)
Übersicht
Verlag | : | Springer Netherland |
Buchreihe | : | Applied Logic Series (Bd. 28) |
Sprache | : | Englisch |
Erschienen | : | 30. 11. 2003 |
Seiten | : | 320 |
Einband | : | Gebunden |
Höhe | : | 235 mm |
Breite | : | 155 mm |
Gewicht | : | 1430 g |
ISBN | : | 9781402016561 |
Sprache | : | Englisch |