AI写作工具
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:常规系统的等价形式和转换—递归程序方案和语法的应用
Courcelle Bruno;
机译:基于动态确定性等效原理和递归标识符方案的间接模型参考自适应控制系统
机译:应用条件为负的M型胶粘剂转化系统中的置换当量分析
机译:基于子对象变换系统的负应用条件下DPO导数的置换等价
机译:关于持久术语重写系统和递归程序方案的等效性
机译:关于类别语法的研究:解析算法和形式句的等价性(西班牙语)。
机译:递归上下文无关文法的内隐学习
机译:正则系统的等价和变换 - 对递归节目方案和语法的应用
机译:高阶属性语法,国际暑期学校属性语法,应用和系统的讲义
机译:用于利用抽象和变换确定网表等效性的系统,方法和计算机程序产品
机译:用于利用至少一种变换确定网表等效性的系统,方法和计算机程序产品
机译:计算离散,滑动,非递归傅立叶变换的装置及其在雷达系统中的应用
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。