退出
我的积分:
中文文献批量获取
外文文献批量获取
许道云;
贵州大学;
计算机科学系;
贵州;
贵阳;
550025;
不可满足公式; 同态; 证明系统; 基础矩阵; 完备性;
机译:同态β重写系统的不可达性证明
机译:不可证明性和证明不可证明性
机译:光滑同态哈希证明系统的有损活板门功能
机译:一类同态重写系统的不可达性证明
机译:关于满足约束条件的问题的不可行和域过滤的证明:时间表的应用。
机译:新西兰的粮食系统不可持续:对农业环境和卫生部门专业人员对饮食准则的不同态度的调查
机译:证明随机3可满足性公式的不可满足性
机译:证明CaIR满足BaRT确定指南中提出的“优于BaRT”测试的证明。最终清洁空气州际规则的技术支持文件
机译:通过命题逻辑证明可满足公式的密码学方法
机译:从命题逻辑证明可满足逻辑公式的加密手段
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。