大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 coq 的图书(共1本)
 |
交互式定理证明与程序开发 : Coq归纳构造演算的艺术 : coq'art: the calculus of inductive constructions0索取号：O141-39/20101 作者：贝尔托、卡斯特拉、顾明、 出版社：北京 : 清华大学出版社, 2010 |
信息栏
请关注本站的微博：
官方QQ群/2015新生群：
最新商品
 |
|
|
搜索选项：
|
© Copyright 大拱桥--暨南大学学生门户 • Atom Feed • 粤ICP备17135490号
Last Updated On 20150305 By Carbon Forum (联系我)
Processed in 108.903 ms, 6 queries, Memory usage: 2048 KBytes
粤公网安备 44030602003680号