9 results
Type of media (2)
Availability (3)
Classification (3)
Year
Persons
Publishers
Sort by
Results per page
Filter
9 results

Your search for Automated Reasoning Series

  1. Cover: Automated Reasoning - Springer
    Robert Stephen Boyer
    Automated Reasoning
    Essays in Honor of Woody Bledsoe
    12/2012
    Springer
    9789401134880 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  2. Cover: Resolution Proof Systems - Springer
    Z. Stachniak
    Resolution Proof Systems
    An Algebraic Theory
    12/2012
    Springer
    9789400916777 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  3. Cover: Piton - Springer
    J. Strother Moore
    Piton
    A Mechanically Verified Assembly-Level Language
    10/2013
    Springer
    9789401737913 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 15-20 days
  4. Cover: Automated Reasoning - Springer
    Robert Stephen Boyer
    Automated Reasoning
    Essays in Honor of Woody Bledsoe
    10/2012
    Springer
    9789401055420 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 15-20 days
  5. Cover: Resolution Proof Systems - Springer
    Z. Stachniak
    Resolution Proof Systems
    An Algebraic Theory
    10/2011
    Springer
    9789401072519 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 15-20 days
  6. Cover: Piton - Kluwer Academic Publishers
    J. Strother Moore
    Piton
    A Mechanically Verified Assembly-Level Language
    01/1996
    Kluwer Academic Publishers
    9780792339205 (ISBN)
    Book
    Hardback
    Other editions
    €96.00
    Article not available at the moment
  7. Cover: Automated Development of Fundamental Mathematical Theories - Kluwer Academic Publishers
    Art Quaife
    Automated Development of Fundamental Mathematical Theories
    11/1992
    Kluwer Academic Publishers
    9780792320210 (ISBN)
    Book
    Hardback
    €235.39
    Shipment within 15-20 days
  8. Cover: Automated Reasoning - Kluwer Academic Publishers
    Robert Stephen Boyer
    Automated Reasoning
    Essays in Honor of Woody Bledsoe
    09/1991
    1st EDN1st Edition
    Kluwer Academic Publishers
    9780792314097 (ISBN)
    Book
    Hardback
    Other editions
    €85.55
    Exhausted; check different version
  9. Cover: Resolution Proof Systems - Kluwer Academic Publishers
    Z. Stachniak
    Resolution Proof Systems
    An Algebraic Theory
    04/1996
    Kluwer Academic Publishers
    9780792340171 (ISBN)
    Book
    Hardback
    Other editions
    €106.99
    Shipment within 15-20 days