AKTUELLE PARTNERANGEBOTE

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications (Applied Logic Series, 9, Band 9)

Name: Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications (Applied Logic Series, 9, Band 9)
Brand: Wolfgang Bibel
SKU: 12219670

Brand : Springer, Binding : Gebundene Ausgabe, Edition : 1998, Label : Springer, Publisher : Springer, PackageQuantity : 1, Format : Illustriert, medium : Gebundene Ausgabe, numberOfPages : 448, publicationDate : 1998-06-30, releaseDate : 1998-06-30, publishers : Wolfgang Bibel, P.H. Schmitt, ISBN : 0792351304

1 Angebote · ab 213,99 € gemeldete Gesamtkosten

Gute Entscheidungen beginnen mit einem guten Vergleich.

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications (Applied Logic Series, 9, Band 9)