退出
我的积分:
中文文献批量获取
外文文献批量获取
徐平亚;
南京电力高等专科学校;
递归法; 行列式; 余子式;
机译:具有严格性信息的递归函数定义的代数正确性证明
机译:关于矩阵项的行列式为行列式的猜想的证明
机译:Ostrovskii定理条件下行列式和逆矩阵元素的估计
机译:自动生成通用证明以证明尾递归定义的属性
机译:编码主题知觉测验:使用与运动的Adlerian定义相关的Rorschach行列式做出的响应。
机译:利用无限行列式定义非线性系统主模的方法
机译:递归定义的度量空间上基于递归性质的隐藏状态的阶跃索引Kripke模型⋆
机译:一类递归定义函数的增长性质
机译:递归状态机状态转换的计算机设备以及用于定义该类型设备的域递归状态机的定义,设计和部署的计算机实现方法
机译:递归状态机状态转换的计算机设备以及用于定义该类型设备的域递归状态机的计算机实现方法的定义,设计和部署
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。