Logo - springer
Slogan - springer

New & Forthcoming Titles | Automated Reasoning Series

Automated Reasoning Series

Automated Reasoning Series

Pase, William (Ed.)

ISSN: 0927-1023

  • Titles in this series

Books & CD ROMs

Show all 4 results

  • Piton
    • eBook
      download immediately after purchase

      $69.99
      (net)

      Hardcover
      The book title is in reprint. You can already preorder it.

      $99.00
      (net)

      Softcover
      usually dispatched within 3 to 5 business days

      $99.00
      (net)
      All
    • eBook
      download immediately after purchase

      $69.99
      (net)

      Hardcover
      The book title is in reprint. You can already preorder it.

      $99.00
      (net)

      Softcover
      usually dispatched within 3 to 5 business days

      $99.00
      (net)

    Piton

    A Mechanically Verified Assembly-Level Language

    Series: Automated Reasoning Series, Vol. 3

    Moore, J Strother 1996

    Price from $69.99
    Available Formats:
    Information
    $69.99 (net)
    ISBN 978-0-585-33654-1
    download immediately after purchase
    eBook
    This title is also available as an eBook. You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal. After the purchase you can directly download the eBook file or read it online. Via MySpringer you can always re-download your eBooks.
    Information
    $99.00 (net)
    ISBN 978-0-7923-3920-5
    The book title is in reprint. You can already preorder it.
    Hardcover
    Hardcover version
    Information
    $99.00 (net)
    ISBN 978-94-017-3791-3
    usually dispatched within 3 to 5 business days
    Softcover
    Softcover (also known as softback) version
  • Automated Reasoning
    • eBook
      download immediately after purchase

      $69.99
      (net)

      Softcover
      usually dispatched within 3 to 5 business days

      $99.00
      (net)
      All
    • eBook
      download immediately after purchase

      $69.99
      (net)

      Softcover
      usually dispatched within 3 to 5 business days

      $99.00
      (net)

    Automated Reasoning

    Essays in Honor of Woody Bledsoe

    Series: Automated Reasoning Series, Vol. 1

    Boyer, Robert Stephen (Ed.) 1991

    Price from $69.99
    Available Formats:
    Information
    $69.99 (net)
    ISBN 978-94-011-3488-0
    download immediately after purchase
    eBook
    This title is also available as an eBook. You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal. After the purchase you can directly download the eBook file or read it online. Via MySpringer you can always re-download your eBooks.
    Information
    $99.00 (net)
    ISBN 978-94-010-5542-0
    usually dispatched within 3 to 5 business days
    Softcover
    Softcover (also known as softback) version
  • Resolution Proof Systems
    • eBook
      download immediately after purchase

      $159.00
      (net)

      Hardcover
      usually dispatched within 3 to 5 business days

      $199.00
      (net)

      Softcover
      usually dispatched within 3 to 5 business days

      $199.00
      (net)
      All
    • eBook
      download immediately after purchase

      $159.00
      (net)

      Hardcover
      usually dispatched within 3 to 5 business days

      $199.00
      (net)

      Softcover
      usually dispatched within 3 to 5 business days

      $199.00
      (net)

    Resolution Proof Systems

    An Algebraic Theory

    Series: Automated Reasoning Series, Vol. 4

    Stachniak, Z. 1996

    Price from $159.00
    Available Formats:
    Information
    $159.00 (net)
    ISBN 978-94-009-1677-7
    download immediately after purchase
    eBook
    This title is also available as an eBook. You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal. After the purchase you can directly download the eBook file or read it online. Via MySpringer you can always re-download your eBooks.
    Information
    $199.00 (net)
    ISBN 978-0-7923-4017-1
    usually dispatched within 3 to 5 business days
    Hardcover
    Hardcover version
    Information
    $199.00 (net)
    ISBN 978-94-010-7251-9
    usually dispatched within 3 to 5 business days
    Softcover
    Softcover (also known as softback) version
  • Automated Development of Fundamental Mathematical Theories
    • Hardcover
      usually dispatched within 3 to 5 business days

      $299.00
      (net)
    • Hardcover
      usually dispatched within 3 to 5 business days

      $299.00
      (net)

    Automated Development of Fundamental Mathematical Theories

    Series: Automated Reasoning Series, Vol. 2

    Quaife, Art 1993

    Price from $299.00
    Available Formats:
    Information
    $299.00 (net)
    ISBN 978-0-7923-2021-0
    usually dispatched within 3 to 5 business days
    Hardcover
    Hardcover version


4 of 4