退出
我的积分:
中文文献批量获取
外文文献批量获取
杨军; 李高平; 李庆;
西南民族大学数学学院;
四川成都610041;
四色猜想; 极大平面图; 最小图; 临界k-色图; Heawood图;
机译:在不使用计算机的情况下获得四色定理的简要证明:用于证明四色定理的定理
机译:自动定理证明多重半精算的新代数工具:一种提高时间逻辑证明者效率的结构
机译:TETCORR:一种计算机程序,用于计算平滑的四色相关矩阵
机译:一些扩展逻辑证明的计算机定理
机译:可简化的构造,等等:四色定理的最后几年
机译:基于四色定理的经济发展新措施
机译:四色定理及其高维定理的一种搜索 概括
机译:平面线性图的一些标注定理:对四色问题的贡献
机译:一种用于检测至少一个引起压力波非随机持续变化的物体的方法。一种计算机分析方法,用于分析检测到的地震或声波信号,以便检测至少一个在频带F中引起信号非随机持续变化的物体。检测至少一个引起感兴趣的地震或声音信号的物体。一种计算机系统,分析检测到的信号,以便检测至少一个引起感兴趣的信号的物体。计算机模块,分析检测到的信号,以便检测至少一个物体引起感兴趣的信号,该设备程序可以被机器读取。检测至少一个物体引起感兴趣的地震或声音的方法是一种有序的方法和计算机程序
机译:用于基于化学反应性和/或非反应性原料的制剂的计算机辅助测定染发种子的至少一种性质的方法和装置,用于计算机辅助的测定毛发种子的制剂的方法和装置基于化学反应性和/或非反应性原料的染发种子,以及用于计算机辅助训练预定模型的设备和方法,该预定模型用于基于化学制剂确定计算机辅助确定染发种子的至少一种特性反应性和/或不反应性原料
机译:定理定理在那里有定理伴随定理
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。