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, 8, Band 8)

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, 8, Band 8)
Brand: Wolfgang Bibel
SKU: 9753766

Brand : Springer, Binding : Gebundene Ausgabe, Edition : 1998, Label : Springer, Publisher : Springer, Format : Illustriert, medium : Gebundene Ausgabe, numberOfPages : 501, publicationDate : 1998-06-30, publishers : Wolfgang Bibel, P.H. Schmitt, ISBN : 0792351290

1 Angebote · ab 160,48 € 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, 8, Band 8)