退出
我的积分:
中文文献批量获取
外文文献批量获取
张辉; 王裕明; 孙宪坤; 游晓明;
上海工程技术大学电子电气工程学院 上海 201620;
演绎证明; 归纳证明; 存在性证明; 唯一性证明; 对角线法则;
机译:离散数学证明中的表示形式的自动更改(扩展版)
机译:离散数学俱乐部里昂离散数学圈
机译:甘氨酸,L-丙氨酸和L-缬氨酸水溶液中的溶剂化后果研究通过在温度间隔(288.15-308.15)K中的物理化学方法探讨的水溶液-4-甲基吡啶氯离子液液液溶液中的研究(288.15-308.15)K.
机译:C_(ALC)C_(HECK):用于证明“离散数学的逻辑方法”的证明检查器
机译:离散数学在学校课程中的位置:分析职前教师对离散数学融入中学课程的看法。
机译:在体内对治疗方案的恶性肿瘤反应的离散数学仿真模型中引入了超矩阵和算符符号。一些操作员属性
机译:自动改变离散数学中的证明
机译:软枫中氧化染色的预防方法探讨
机译:交付证明系统,交付证明系统中的服务器,交付证明方法和交付处理程序证明
机译:超市中个人出示的支付单位证明装置,具有读取器,用于读取身份证明文件中包含的标识符,以及用于恢复数据的恢复单元,其中以标识符进行证明的支付
机译:用于数据结构的数字证明集成方法,包括在数据结构中保留带宽,从修改后的结构产生数字证明,以及在保留的带宽位置将数字证明集成到结构中
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。