退出
我的积分:
中文文献批量获取
外文文献批量获取
朱伟勇; 陈宁;
东北大学信息科学与工程学院;
沈阳建筑工程学院;
混沌; 螺线管; 管壁构造法; 计算机证明; 分形;
机译:最小化外部磁场中螺线管壁上的电磁力
机译:最小化螺线管壁中引入外部磁场的电磁力
机译:用连续策略直接由Sperner引理和近似Nash平衡证明Fan-Glicksberg不动点定理的构造形式的证明:构造分析
机译:可证明解决几何构造问题的计算机定理证明
机译:可计算性,复杂性,可构造性和可证明性的主题。
机译:人造化学中通用构造函数架构的演变证明了语义封闭
机译:证明严肃的游戏的经验证据是一种在计算思维层面上学习计算机程序构造的教育有效工具
机译:使用螺线管场中的吸收器可能证明电离冷却
机译:文件处置证明装置,文件处置证明方法,存储文件处置证明程序的计算机可读介质和计算机数据信号
机译:使用具有计算机指令的计算机来提供证明的方法,该系统提供证明,一个或多个m腿的计算机,该计算机指令被并入以执行布置conte的方法和提供的系统conte u00e9do
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。