Showing 1 - 6 results of 6 for search 'Paulson, Lawrence C.', query time: 0.02s Refine Results
  1. 1
    ML for the working programmer /
    by Paulson, Lawrence C.
    Published 1996
    Book
  2. 2
    Logic and computation Interactive Proof with Cambridge LCF
    by Paulson, Lawrence C.
    Published 1987
    Book
  3. 3
    ML for the working programmer
    by Paulson, Lawrence C.
    Published 1991
    Book
  4. 4
    Isabelle/HOL A Proof Assistant for Higher-Order Logic /
    Other Authors: “…Paulson, Lawrence C.…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Interactive Theorem Proving First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
    by Kaufmann, Matt
    Published 2010
    Other Authors: “…Paulson, Lawrence C…”
    Get full text
    Electronic Kit Book
  6. 6
    Interactive Theorem Proving First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings /
    Published 2010
    Other Authors: “…Paulson, Lawrence C.…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search