語系
Paulin-Mohring, Christine.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Interactive theorem proving = 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Paulin-Mohring, Christine.; Blazy, Sandrine.; Pichardie, David.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Mathematics of Program Construction = 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings /
by:
Audebaud, Philippe.; Workshop on the Preservation of Stability under Discretization ((2001 :); Paulin-Mohring, Christine.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Software Engineering.
Artificial Intelligence (incl. Robotics)
Systems and Data Security.
Algorithm Analysis and Problem Complexity.
Automatic theorem proving
Logic, Symbolic and mathematical
Computer Science.
Computer programming
Programming Languages, Compilers, Interpreters.
Computer science
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computation by Abstract Devices.