Paulson, Lawrence C.
Paulson, Lawrence C., 1955-....
VIAF ID: 91459151 (Personal)
Permalink: http://viaf.org/viaf/91459151
Preferred Forms
-
100 1 _ ‡a Paulson, Lawrence C., ‡d 1955-....
-
100 1 _ ‡a Paulson, Lawrence C. (undifferentiated)
-
100 1 _ ‡a Paulson, Lawrence C.
-
100 1 _ ‡a Paulson, Lawrence C.
-
200 _ | ‡a Paulson ‡b Lawrence C. ‡f 1955-....
-
100 1 _ ‡a Paulson, Lawrence C.
4xx's: Alternate Name Forms (3)
Selected Titles
- ML for the working programmer
(12)
- Isabelle a generic theorem prover
(6)
- Logic and computation : interactive proof with Cambridge LCF
(4)
- Isabelle, HOL a proof assistant for higher order logic
(4)
- Logic and computation
(2)
- Isabelle HOL
(2)
- Quantified multimodal logics in simple type theory
(1)
- ML for the working programmer
(1)
- Isabelle/HOL a proof assistant for higher-order logic
(1)
- Isabelle, c1994:
(1)
