Akademibokhandeln

Automated Reasoning Series – serie

Visar alla böcker i serien Automated Reasoning Series.

5 produkter

  1. Art Quaife - Automated Development of Fundamental Mathematical Theories, Inbunden. Tillgänglighet: Lägg i varukorg

    Automated Development of Fundamental Mathematical Theories

    Av Art Quaife

    Inbunden, 1992

    3129 kr

    Lägg i varukorg

  2. Z. Stachniak - Resolution Proof Systems, Inbunden. Tillgänglighet: Lägg i varukorg

    Resolution Proof Systems

    An Algebraic Theory

    Av Z. Stachniak

    Inbunden, 1996

    1469 kr

    Lägg i varukorg

  3. Robert Stephen Boyer - Automated Reasoning, Häftad. Tillgänglighet: Lägg i varukorg

    Automated Reasoning

    Essays in Honor of Woody Bledsoe

    Av Robert Stephen Boyer

    Häftad, 2012

    1419 kr

    Lägg i varukorg

  4. Z. Stachniak - Resolution Proof Systems, Häftad. Tillgänglighet: Lägg i varukorg

    Resolution Proof Systems

    An Algebraic Theory

    Av Z. Stachniak

    Häftad, 2011

    1419 kr

    Lägg i varukorg

  5. J Strother Moore - Piton, Häftad. Tillgänglighet: Lägg i varukorg

    Piton

    A Mechanically Verified Assembly-Level Language

    Av J Strother Moore

    Häftad, 2013

    719 kr

    Lägg i varukorg