Art Quaife - Automated Development Of Fundamental Mathematical Theories (automated Reasoning Series, 2, Band 2)
Brand: Art Quaife -
EAN:
9780792320210MPN: m00792320212
Kategorie: Bücher & Zeitschriften
Brand : Springer, Binding : Gebundene Ausgabe, Edition : 1993, Label : Springer, Publisher : Springer, PackageQuantity : 1, medium : Gebundene Ausgabe, numberOfPages : 291, publicationDate : 1992-11-30, authors : Art Quaife, ISBN : 0792320212
Preise vergleichen ab:
Art Quaife - in Bücher & Zeitschriften