Showing 1 - 2 results of 2 for search 'Paulson, Lawrence C.' Refine Results
  1. 1
    ML for the working programmer / Lawrence C. Paulson.
    by Paulson, Lawrence C.
    Published 1996
    Edition: 2nd ed.
    Book
    Save to List
    Saved in:
  2. 2
    Isabelle / HOL : a proof assistant for higher-order logic / Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel.
    by Nipkow, Tobias, 1958-
    Published 2002
    Other Authors: '; “...Paulson, Lawrence C....”
    Book
    Save to List
    Saved in:
Search Tools: Get RSS Feed — Email this Search