退出
我的积分:
中文文献批量获取
外文文献批量获取
安新慧; 黄琼湘; 刘晓平;
新疆大学数学与系统科学学院;
新疆工业高等专科学校;
中间图; 补图; 哈密顿圈;
机译:图的补图和部分补图的简单DFS
机译:仿射Kahler-Ricci平面图的刚性定理的简单证明
机译:封闭图定理的简单证明
机译:DBFW:一个简单的数据库框架,用于评估和维护自动定理证明者数据
机译:模型检查和定理证明:一个统一的框架。
机译:西格尔定理的简单证明
机译:闭图定理的一个简单证明
机译:关于“时滞线性随机系统分离定理的一个简单证明”的评述。
机译:用于定理证明的设备和方法,但不披露导致定理的文件
机译:与大多数马桶池兼容的上部排放装置包括一个简单的圆柱头,一个纽扣分离器,一个在中间扩展的较大的菱形以及在另一端带有一个可使用出口的圆筒。伸缩杆。
机译:内提供密码句子的简单句子证明系统,证明句子的准备方法和证明句子的验证方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。