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

Your search for Lawrence C. Paulson

  1. 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
  2. Cover: Isabelle/HOL - Springer
    Tobias Nipkow | Lawrence C. Paulson | Markus Wenzel
    Isabelle/HOL
    A Proof Assistant for Higher-Order Logic
    07/2003
    Springer
    9783540459491 (ISBN)
    E-Book
    PDF
    Other editions
    €58.84
    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
    06/2010
    Springer
    9783642140518 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 5-7 days
  4. Cover: Isabelle/HOL - Springer
    Tobias Nipkow | Lawrence C. Paulson | Markus Wenzel
    Isabelle/HOL
    A Proof Assistant for Higher-Order Logic
    04/2002
    1st EDN1st Edition
    Springer
    9783540433767 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €64.19
    Shipment within 10-15 days
  5. Cover: Isabelle - Springer
    Lawrence C. Paulson
    Isabelle
    A Generic Theorem Prover
    07/1994
    1st EDN1st Edition
    Springer
    9783540582441 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  6. Cover: Logic and Computation - Cambridge University Press
    Lawrence C. Paulson
    Logic and Computation
    Interactive Proof with Cambridge LCF
    10/1987
    Cambridge University Press
    9780521346320 (ISBN)
    Book
    Hardback
    Other editions
    €86.66
    Exhausted; check for reprint
    New edition available
  7. Cover: Logic and Computation - Cambridge University Press
    Lawrence C. Paulson
    Logic and Computation
    Interactive Proof with Cambridge LCF
    07/1990
    Cambridge University Press
    9780521395601 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €73.00
    Shipment within 15-20 days
  8. This image is currently not available.
    Lawrence C. Paulson
    ML for the Working Programmer
    08/1992
    Cambridge University Press
    9780521422253 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €22.23
    Exhausted; check for reprint
    New edition available
  9. This image is currently not available.
    Lawrence C. Paulson
    ML for the Working Programmer
    07/1991
    Cambridge University Press
    9780521390224 (ISBN)
    Book
    Hardback
    Other editions
    €46.43
    Exhausted; check for reprint
    New edition available
  10. This image is currently not available.
    Lawrence C. Paulson | Tobias Nipkow
    Isabelle
    A Generic Theorem Prover
    09/1994
    Springer
    9780387582443 (ISBN)
    Book
    Paperback/Softback
    €43.24
    Article not available