Logo - springer
Slogan - springer

New & Forthcoming Titles | Automated Reasoning Series

Automated Reasoning Series

Automated Reasoning Series

Pase, William (Ed.)

ISSN: 0927-1023

Discontinued Series
Although this series no longer publishes new content, the published titles listed below may be still available on-line (e. g. via the Springer Book Archives) and in print.
  • Titles in this series

Books & CD ROMs

Show all 4 results

  • Piton
    • eBook
      Immediate eBook download after purchase

      53,49 €
      (gross)

      Hardcover
      This title is currently reprinting. You can pre-order your copy now.

      83,19 €
      (gross)

      Softcover
      Usually ready to be dispatched within 3 to 5 business days, if in stock

      67,59 €
      (gross)
      All
    • eBook
      Immediate eBook download after purchase

      53,49 €
      (gross)

      Hardcover
      This title is currently reprinting. You can pre-order your copy now.

      83,19 €
      (gross)

      Softcover
      Usually ready to be dispatched within 3 to 5 business days, if in stock

      67,59 €
      (gross)

    Piton

    A Mechanically Verified Assembly-Level Language

    Series: Automated Reasoning Series, Vol. 3

    Moore, J Strother 1996

    Price from 53,49 €
    Available Formats:
    Information
    53,49 € (gross)
    ISBN 978-0-585-33654-1
    Immediate eBook download 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
    83,19 € (gross)
    ISBN 978-0-7923-3920-5
    This title is currently reprinting. You can pre-order your copy now.
    Hardcover
    Hardcover version
    Information
    67,59 € (gross)
    ISBN 978-94-017-3791-3
    Usually ready to be dispatched within 3 to 5 business days, if in stock
    Softcover
    Softcover (also known as softback) version
  • Automated Reasoning
    • eBook
      Immediate eBook download after purchase

      93,08 €
      (gross)

      Softcover
      Usually ready to be dispatched within 3 to 5 business days, if in stock

      114,39 €
      (gross)
      All
    • eBook
      Immediate eBook download after purchase

      93,08 €
      (gross)

      Softcover
      Usually ready to be dispatched within 3 to 5 business days, if in stock

      114,39 €
      (gross)

    Automated Reasoning

    Essays in Honor of Woody Bledsoe

    Series: Automated Reasoning Series, Vol. 1

    Boyer, Robert Stephen (Ed.) 1991

    Price from 93,08 €
    Available Formats:
    Information
    93,08 € (gross)
    ISBN 978-94-011-3488-0
    Immediate eBook download 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
    114,39 € (gross)
    ISBN 978-94-010-5542-0
    Usually ready to be dispatched within 3 to 5 business days, if in stock
    Softcover
    Softcover (also known as softback) version
  • Resolution Proof Systems
    • eBook
      Immediate eBook download after purchase

      96,29 €
      (gross)

      Hardcover
      Usually ready to be dispatched within 3 to 5 business days, if in stock

      150,75 €
      (gross)

      Softcover
      Usually ready to be dispatched within 3 to 5 business days, if in stock

      124,79 €
      (gross)
      All
    • eBook
      Immediate eBook download after purchase

      96,29 €
      (gross)

      Hardcover
      Usually ready to be dispatched within 3 to 5 business days, if in stock

      150,75 €
      (gross)

      Softcover
      Usually ready to be dispatched within 3 to 5 business days, if in stock

      124,79 €
      (gross)

    Resolution Proof Systems

    An Algebraic Theory

    Series: Automated Reasoning Series, Vol. 4

    Stachniak, Z. 1996

    Price from 96,29 €
    Available Formats:
    Information
    96,29 € (gross)
    ISBN 978-94-009-1677-7
    Immediate eBook download 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
    150,75 € (gross)
    ISBN 978-0-7923-4017-1
    Usually ready to be dispatched within 3 to 5 business days, if in stock
    Hardcover
    Hardcover version
    Information
    124,79 € (gross)
    ISBN 978-94-010-7251-9
    Usually ready to be dispatched within 3 to 5 business days, if in stock
    Softcover
    Softcover (also known as softback) version
  • Automated Development of Fundamental Mathematical Theories
    • Hardcover
      Usually ready to be dispatched within 3 to 5 business days, if in stock

      226,72 €
      (gross)
    • Hardcover
      Usually ready to be dispatched within 3 to 5 business days, if in stock

      226,72 €
      (gross)

    Automated Development of Fundamental Mathematical Theories

    Series: Automated Reasoning Series, Vol. 2

    Quaife, Art 1993

    Price from 226,72 €
    Available Formats:
    Information
    226,72 € (gross)
    ISBN 978-0-7923-2021-0
    Usually ready to be dispatched within 3 to 5 business days, if in stock
    Hardcover
    Hardcover version


4 of 4