Christine Paulin-Mohring 人物
相关论文查看全部 (2)
The Coq proof assistant : reference manual, version 6.1
1997OpenGrey (Institut de l'Information Scientifique et Technique)引用 989
Inductive definitions in the system Coq rules and properties
2006Lecture notes in computer science引用 392
相关公司查看全部 (2)
École Normale Supérieure de LyonUNIVERSITY
相关事件
暂无数据
相关专利
暂无数据
相关文章
暂无数据