退出
我的积分:
中文文献批量获取
外文文献批量获取
王继民;
中国计算机学会;
完备化过程;
机译:形式化Knuth-Bendix订单和Knuth-Bendix完成
机译:Knuth-Bendix完成算法的抽象归约系统和思想
机译:分类,术语重写和Knuth-Bendix程序
机译:正式化Knuth-Bendix订单和Knuth-Bendix完成
机译:改进改进的诊断和建议?或在秘鲁财务实体中授予中小企业的过程
机译:Primula Filchnerae Knuth(Primulaceae)的完全叶绿体基因组序列在中国濒危物种
机译:Knuth-Bendix完成算法及其在Z中的规范。
机译:机动车辆Bendix对象的改进
机译:含有增强免疫活性的组合物的Knuth优质小丸,菌丝体提取物
机译:从羧甲基种子玛丽亚·克努斯(Maria Knuth)生产药用提取物的方法中提取
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。