退出
我的积分:
中文文献批量获取
外文文献批量获取
宋国新; 邵志清;
华东理工大学计算机科学与工程系;
归纳定理; 重写系统; 等式系统; 显式归纳; K-B算法;
机译:一句子的Presbulga重写系统中的重写归纳方法
机译:本原归纳定理桥接隐式归纳方法和高阶重写中的归纳定理
机译:理性主义归纳方法在系统工程研究系统中的影响
机译:在层次图重写语言LMNtal的重写中引入通用量化
机译:重写系统和生物系统建模
机译:原始归纳定理桥梁隐式归纳方法和高阶重写中的归纳定理
机译:在aRm(抽象重写机)的范围内:通过最小重写系统编译左线性重写系统;软件工程部
机译:存储器中的重写控制系统,存储器中的重写控制方法以及用于存储程序的信息的记录介质,其中该程序中的每个步骤都精确地控制了存储器中的重写
机译:用于闪存的存储器重写系统,用于控制存储器中的重写的方法以及用于存储程序的信息记录介质,该程序中的每个步骤都用于控制用于控制存储器中的重写的方法
机译:用于在搜索结果上重新批读的浏览设备,用于在搜索结果中重写的浏览系统以及用于在搜索结果和计算机程序中重写的方法和计算机可读介质
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。