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

Your search for Matt Kaufmann

  1. Cover: Computer-Aided Reasoning - Springer
    Matt Kaufmann | Panagiotis Manolios | J. Strother Moore
    Computer-Aided Reasoning
    ACL2 Case Studies
    04/2013
    Springer
    9781475731880 (ISBN)
    E-Book
    PDF
    Other editions
    €213.99
    Available for download
  2. Cover: Computer-Aided Reasoning - Springer
    Matt Kaufmann | Panagiotis Manolios | J. Strother Moore
    Computer-Aided Reasoning
    An Approach
    12/2012
    Springer
    9781461544494 (ISBN)
    E-Book
    PDF
    Other editions
    €259.00
    Available for download
  3. Cover: Interactive Theorem Proving - Springer
    Matt Kaufmann | Lawrence C. Paulson
    Interactive Theorem Proving
    First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings
    07/2010
    Springer
    9783642140525 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  4. Cover: Interactive Theorem Proving - Springer
    Matt Kaufmann | Lawrence C. Paulson
    Interactive Theorem Proving
    First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings
    06/2010
    Springer
    9783642140518 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 5-7 days
  5. Cover: Computer-Aided Reasoning - Springer
    Matt Kaufmann | Panagiotis Manolios | J. Strother Moore
    Computer-Aided Reasoning
    An Approach
    10/2012
    Springer
    9781461370031 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €266.43
    Exhausted; check different version
  6. Cover: Computer-Aided Reasoning - Springer
    Matt Kaufmann | Panagiotis Manolios | J. Strother Moore
    Computer-Aided Reasoning
    ACL2 Case Studies
    12/2010
    Springer
    9781441949813 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €213.99
    Shipment within 15-20 days
  7. Cover: Computer-Aided Reasoning - Kluwer Academic Publishers
    Matt Kaufmann | Panagiotis Manolios | J. Strother Moore
    Computer-Aided Reasoning
    An Approach
    07/2000
    Kluwer Academic Publishers
    9780792377443 (ISBN)
    Book
    Hardback
    Other editions
    €266.43
    Exhausted; check different version
  8. Cover: Computer-Aided Reasoning - Kluwer Academic Publishers
    Matt Kaufmann | Panagiotis Manolios | J. Strother Moore
    Computer-Aided Reasoning
    ACL2 Case Studies
    06/2000
    Kluwer Academic Publishers
    9780792378495 (ISBN)
    Book
    Hardback
    Other editions
    €213.99
    Shipment within 15-20 days
  9. This image is currently not available.
    Matt Kaufmann | Panagiotis Manolios | J. Strother Moore
    Computer-Aided Reasoning
    ACL2 Case Studies
    06/2000
    Kluwer Academic Publishers
    9780792378808 (ISBN)
    Book
    €317.50
    Exhausted, reprint undefined