Paulson, Lawrence C.
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Isabelle/HOL = a proof assistant for higher-order logic /
by:
Paulson, Lawrence C.; Wenzel, Markus.; SpringerLink (Online service); Nipkow, Tobias.
(書目-語言資料,印刷品)
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 :)
(書目-語言資料,印刷品)
主題
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.