AKTUELLE PARTNERANGEBOTE

Automated Deduction in Equational Logic and Cubic Curves (Lecture Notes in Computer Science, 1095, Band 1095)

Name: Automated Deduction in Equational Logic and Cubic Curves (Lecture Notes in Computer Science, 1095, Band 1095)
Brand: William McCune
SKU: 8951411

Brand : Springer, Binding : Taschenbuch, Edition : 1996, Label : Springer, Publisher : Springer, NumberOfItems : 1, PackageQuantity : 5, medium : Taschenbuch, numberOfPages : 248, publicationDate : 2008-06-13, authors : William McCune, R. Padmanabhan, ISBN : 3540613986

1 Angebote · ab 53,46 € gemeldete Gesamtkosten

Gute Entscheidungen beginnen mit einem guten Vergleich.

Automated Deduction in Equational Logic and Cubic Curves (Lecture Notes in Computer Science, 1095, Band 1095)