搜索到 篇“ COQ “的相关文章

相关作者

窦亮
作品数：36被引量：118H指数：7
供职机构：华东师范大学
研究主题：COQ 定理证明器 网络数据包 习题 推荐系统
王生原
作品数：75被引量：205H指数：7
供职机构：清华大学
研究主题：编译器 形式化验证 字节码 PETRI网 COQ
蒋世云
作品数：67被引量：360H指数：10
供职机构：广西科技大学
研究主题：米香型白酒 潲水油 废弃油脂 贮藏 十八碳二烯酸
余龙江
作品数：619被引量：3,777H指数：33
供职机构：华中科技大学
研究主题：紫杉醇 红豆杉 玛咖 花生四烯酸 红豆杉细胞
沈楠
作品数：9被引量：17H指数：2
供职机构：南京航空航天大学
研究主题：COQ 形式化验证 形式化 工程数学 留学生管理