Wolfgang Bibel - 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 -
EAN:
9780792351306MPN: m00792351304
Kategorie: Bücher & Zeitschriften
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
Preise vergleichen ab:
Wolfgang Bibel - in Bücher & Zeitschriften