退出
我的积分:
中文文献批量获取
外文文献批量获取
梁希泉; 刘玲玲; 姜西春;
青岛科技大学;
矩阵; Mizar; 初等变换;
机译:Mizar数学库在Mizar中进行交互式证明开发的作用
机译:用于Mizar证明检查的Groebner基计算的外部CA系统接口
机译:自动改善Mizar系统中的证明可读性
机译:在MIZAR-C中实现二叉树
机译:MIZAR数学库在MIZAR互动证明发展的作用
机译:命题模态逻辑的矩阵定理证明器的实现
机译:实现国际支付系统中的银行间金融交易时,要根据移动支付环境中的移动电话实现银行卡持有人多因素严格身份验证的方法,并根据证明书的3D担保书和证明书的要求方法
机译:作为目标业务的远程视觉确认并立即与访客进行协商的系统,方法和设备,作为基础业务,目的是在已证明并根据其业务证据的情况下使用电子图像和移动通信来证明其是根据业务目标基础架构系统使用电子图像移动身体的人
机译:颜色证明生成系统,图像处理器,输出设备,颜色证明生成方法,用于实现该方法的程序以及记录该程序的信息记录介质
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。