退出
我的积分:
中文文献批量获取
外文文献批量获取
张博闻; 金钊; 王捍贫; 曹永知;
北京大学计算机学院;
广州大学计算机科学与网络工程学院;
高可信软件技术教育部重点实验室(北京大学);
分离逻辑; 交互式定理证明器; 块云存储系统; 形式化验证; COQ;
机译:非线性可分离函数的基于忆阻器的神经逻辑块
机译:基于块的图像编码技术的信息丢失恢复-一种模糊逻辑方法
机译:VST-Floyd:一种分离逻辑工具,用于验证C程序的正确性
机译:简介行业论文:一种基于模型的框架和工具支持,用于捕获系统验证策略
机译:块级云存储系统的高效实施技术。
机译:RuleGO:一种基于规则的逻辑工具用于通过基因本体论描述基因组
机译:并发工作台-一种基于语义的并发系统验证工具
机译:基于块设计的多数逻辑可解码纠错码
机译:一种推理推理工具,用于基于数据驱动模型和基于知识的逻辑的混合来推荐操作。
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。