退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:有限基础术语重写系统和其他相关术语重写系统的融合的可判定性
Dauchet Max; Heuillard Thierry; Lescanne Pierre; Tison Sophie;
机译:有效地确定基本术语重写系统的合流和范式性质
机译:确定三次时间中地面术语重写系统的合流
机译:通过重写闭包和正确的术语重写系统来表征汇合
机译:正确的地面重写系统的汇合是可判定的
机译:术语重写系统和Church-Rosser财产
机译:通过焦点小组评估长期护理中让我决定高级护理计划计划的系统实施情况:员工的观点
机译:决定立方时间重写系统在三次时间内的汇合
机译:派生对,重叠闭包和重写多米诺:用于分析术语重写系统的新工具
机译:具有通过模式匹配的术语重写来执行程序翻译的程序语言处理系统
机译:备用存储器的重写决定系统
机译:通信系统和用有限术语指示来自其中的信号的系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。