Christine Paulin-Mohring
Identifiers
- Open LibraryOL9697296A
Top Subjects
- Computer programming (1)
- Automatic theorem proving (1)
Books by Christine Paulin-Mohring
Total count: 2
-
Types for Proofs and ProgramsInternational Workshop, TYPES 2004, Jouy-En-Josas, France, December 15-18, 2004, Revised Selected PapersSpringer London, Limited2006-01-01
-
Interactive Theorem Proving4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, ProceedingsSpringer London, Limited2013-01-01