Languages
Paulin-Mohring, Christine.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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)
(Language materials, printed)
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)
(Language materials, printed)
Subjects
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.