退出
我的积分:
中文文献批量获取
外文文献批量获取
蔡洪霞;
江苏省扬州市宝应县安宜高级中学;
机译:向量计算机上命题逻辑中定理证明的广义过程的向量化
机译:Fan-KKM定理证明了一些特征向量定理
机译:将卷曲定义为循环密度的简单证明是向量值函数,以及证明斯托克定理的另一种方法
机译:在向量计算机上命题逻辑中使用定理证明定理广义戴维斯-普特曼程序
机译:关于交互式定理证明在计算科学和工程中的应用。
机译:拟相对内部的向量平衡问题的存在性定理
机译:部分有序向量空间中的Hann Banach定理的新证明及其应用(Banach空间理论和相关主题)
机译:哪个定理证明。四种定理证明方法综述
机译:用于定理证明的设备和方法,但不披露导致定理的文件
机译:第一向量和用于获得将函数应用于第二向量的结果的方法,第三第一向量和用于确定使用处理器将函数应用于向量的结果的第二系统
机译:n级向量量化方法;用于在n级量化矢量的装置;软件应用产品;用于检索已在n级量化的载体的育种载体的方法;用于检索已在n级量化的载体的繁殖载体的装置;向量表示的传输系统;确定在n个向量的量化中使用的码本再现向量集m的方法;确定在向量的n级用于量化的再现向量的码本的设备;以及用于量化n级向量的联合密码本
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。