Paulson, Lawrence C.
Paulson, Lawrence C., 1955-....
Lawrence Paulson American computer scientist
VIAF ID: 91459151 ( Personal )
Permalink: http://viaf.org/viaf/91459151
Preferred Forms
- 100 0 _ ‡a Lawrence Paulson ‡c American computer scientist
- 200 _ | ‡a Paulson ‡b Lawrence C. ‡f 1955-....
-
-
-
- 100 1 _ ‡a Paulson, Lawrence C.
- 100 1 _ ‡a Paulson, Lawrence C.
-
-
-
-
- 100 1 _ ‡a Paulson, Lawrence C.
-
-
- 100 1 _ ‡a Paulson, Lawrence C., ‡d 1955-....
4xx's: Alternate Name Forms (11)
Works
Title | Sources |
---|---|
A compiler generator for semantic grammars | |
Interactive theorem proving : first international conference, ITP 2010, Edimburgh, UK, July 11-14, 2010 : proceedings | |
Investigations in Computer-Aided Mathematics : Experimentation, Computation, and Certification | |
Isabelle a generic theorem prover | |
Isabelle, c1994: | |
Isabelle/HOL a proof assistant for higher-order logic | |
Logic and computation : interactive proof with Cambridge LCF | |
ML for the working programmer | |
Outils pour la formalisation en analyse classique : une étude de cas en théorie du contrôle |