交互式定理证明与程序开发:Coq归纳构造演算的艺术 [平装], 伯托特(Yves Bertot) (作者), 卡斯特兰(Pierre Casteran), 清华大学出版社...
基于64个网页-相关网页
...ram development：Coq'art: the calculus of inductive constructions／(德)贝尔托(Yves Bertot),(德)卡斯泰朗(Pierre Casteran)著；顾明等译．—北京： 清华大学出版社，2010 19,432页；26cm ..
基于1个网页-相关网页