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

相关作者

窦亮
作品数：33被引量：104H指数：6
供职机构：华东师范大学
研究主题：COQ 定理证明器 网络数据包 UML 精化
余龙江
作品数：599被引量：3,660H指数：32
供职机构：华中科技大学
研究主题：紫杉醇 红豆杉 玛咖 花生四烯酸 红豆杉细胞
郁文生
作品数：78被引量：119H指数：7
供职机构：北京邮电大学电子工程学院
研究主题：机器证明 严格正实 N 数据仓库 鲁棒性分析
杨宗源
作品数：37被引量：167H指数：7
供职机构：华东师范大学信息科学技术学院计算机科学技术系
研究主题：软件工程 面向对象 COQ 软件测试 社交网络
蒋世云
作品数：67被引量：348H指数：10
供职机构：广西科技大学
研究主题：米香型白酒 潲水油 废弃油脂 贮藏 十八碳二烯酸