URI(s)
Variants
- Paulson, Laurence C.
Identifies LC/NAF RWO
Identifies RWO
Exact Matching Concepts from Other Schemes
Closely Matching Concepts from Other Schemes
Sources
- found: His Logic and computation, 1987:CIP t.p. (Lawrence C. Paulson; Computer Lab., U. of Cambridge)
- found: His ML for the working programmer, 1991:t.p. (Laurence C. Paulson; Computer Lab., Univ. of Cambridge)
- found: British Lib. auth. fiche, 12/90(Paulson, Lawrence C.)
- found: Brit. nat. bibl., 1992(Hdg.: Paulson, Lawrence C.; usage: Laurence C. Paulson)
- found: Isabelle, c1994:CIP t.p. (Lawrence C. Paulson) data sheet (b. Sept. 20, 1955)
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
- 1987-06-25: new
- 2008-09-25: revised
Alternate Formats
