交互式定理证明与程序开发：Coq归纳构造演算的艺术,伯托特(Yves Bertot),清华大学出版社,交互式,定理,证明,程序开发,Coq,归纳,构造,演算,艺术...
基于60个网页-相关网页
...伊乌博士来访: 应我校邀请，法国国家信息与自动化研究院（INRIA）Sophia-Antipolis研究中心高级研究员伊乌贝尔托（Yves Bertot）博士于8月11日至8月12日来我..
基于12个网页-相关网页
yves bertot
伊夫bertot
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动