退出
我的积分:
中文文献批量获取
外文文献批量获取
钟发荣; 金健舟;
计算机系;
归纳证明; 规范变换; 目标规范;
机译:具有约束条件的归纳逻辑编程的CIFF证明程序:理论,实现和实验
机译:Veldeman通过定界控制算子证明Cantor空间上的开放归纳证明的直接形式
机译:线性规范变换的解析信号的推导和离散实现
机译:在隐式归纳定理证明中实现推理模块
机译:实现可证明正确的服务:通过监督控制综合实现自动化服务组合
机译:使用规范变换的受限最佳线性无偏预测
机译:外场中规范变换的可实现性和费米子的量子化
机译:实现国际支付系统中的银行间金融交易时,要根据移动支付环境中的移动电话实现银行卡持有人多因素严格身份验证的方法,并根据证明书的3D担保书和证明书的要求方法
机译:归纳借记信用卡欺诈证明的恢复方法
机译:在身份证明文件和相关的身份证明文件中实现的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。