AKTUELLE PARTNERANGEBOTE

Automated Development of Fundamental Mathematical Theories (Automated Reasoning Series, 2, Band 2)

Name: Automated Development of Fundamental Mathematical Theories (Automated Reasoning Series, 2, Band 2)
Brand: Art Quaife
SKU: 12218340

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

1 Angebote · ab 233,84 € gemeldete Gesamtkosten

Gute Entscheidungen beginnen mit einem guten Vergleich.

Automated Development of Fundamental Mathematical Theories (Automated Reasoning Series, 2, Band 2)