Paulson, Lawrence C.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Isabelle/HOL = a proof assistant for higher-order logic /
by:
Paulson, Lawrence C.; Wenzel, Markus.; SpringerLink (Online service); Nipkow, Tobias.
(Language materials, printed)
Interactive theorem proving = First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010 : proceedings /
by:
Kaufmann, Matt.; Paulson, Lawrence C.; SpringerLink (Online service); ITP 2010 ((2010 :)
(Language materials, printed)
Subjects
Computer logic.
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Automatic theorem proving
Antibodies.
Artificial Intelligence (incl. Robotics)
Programming Languages, Compilers, Interpreters.
Automatic theorem proving.
Computer logic- Congresses.
Computer Science.