退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:Coq证明助手中的交互式打字战术编程
Ziliani Beta;
机译:具有相关类型的经过认证的编程:Coq证明助手的实用介绍
机译:Coq中的xmonad(体验报告)-使用Proof Assistant编写Window Manager
机译:与Coq Proof Assistant中的模态逻辑进行交互
机译:VeriML:依赖类型,用户可扩展且以语言为中心的证明助手方法
机译:开发有患有2型糖尿病风险的青少年的互动生活方式计划:预先开始
机译:使用COQ验证助理验证并发计划:案例研究
机译:零知识交互证明协议管理系统,程序及零知识交互证明协议管理方法
机译:零知识交互证明协议的管理装置,零知识交互证明的管理方法和程序
机译:交互式类型程序提供装置和交互式类型程序提供程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。