Paulin-Mohring, Christine.
概要
| 作品: | 2 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Types for proofs and programsInternational Workshop TYPES '96, Aussois, France, December 15-19, 1996 : selected papers /
by:
(1998 :); Gimenez, Eduardo.; Paulin-Mohring, Christine.; SpringerLink (Online service)
(書目-電子資源)
Types for Proofs and ProgramsInternational Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers /
by:
(1998 :); Filliatre, Jean-Christophe.; Paulin-Mohring, Christine.; SpringerLink (Online service); Werner, Benjamin.
(書目-電子資源)
Mathematics of Program Construction9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings /
by:
(1998 :); Audebaud, Philippe.; Paulin-Mohring, Christine.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Automatic theorem proving
Artificial Intelligence (incl. Robotics)
Computation by Abstract Devices.
Computer programming
Programming Languages, Compilers, Interpreters.
Computer logic
Type theory
Computer science
Computer Science.
Symbolic and Algebraic Manipulation.