Paulson, Lawrence C.
Enlarge text Shrink text-
Personality
|
System number
987007445160905171
-
Save successfulThe item can be found in your Personal ZoneשגיאהLog in to your account to save
Information for Authority record
Name (Latin)
Paulson, Lawrence C.
Other forms of name
Paulson, Laurence C
Date of birth
1955-09-20
Gender
male
MARC
MARC
Other Identifiers
Sources of Information
- Brit. nat. bibl., 1992(Hdg.: Paulson, Lawrence C.; usage: Laurence C. Paulson)
- British Lib. auth. fiche, 12/90(Paulson, Lawrence C.)
- His Logic and computation, 1987:CIP t.p. (Lawrence C. Paulson; Computer Lab., U. of Cambridge)
- His ML for the working programmer, 1991:t.p. (Laurence C. Paulson; Computer Lab., Univ. of Cambridge)
- Isabelle, c1994:CIP t.p. (Lawrence C. Paulson) data sheet (b. Sept. 20, 1955)
1 / 1
Lawrence Paulson Royal Society
Duncan.Hull, CC BY-SA 4.0
Wikipedia description:
Lawrence Charles Paulson is an American computer scientist. He is a professor of computational logic at the University of Cambridge Computer Laboratory and a fellow of Clare College, Cambridge.
Read more on Wikipedia >