語系
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.
Computer programming
Programming Languages, Compilers, Interpreters.
Automatic theorem proving
Computer science
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computation by Abstract Devices.
Logic, Symbolic and mathematical
Computer Science.