退出
我的积分:
中文文献批量获取
外文文献批量获取
徐杰;
南京师范大学文学院,江苏南京 210097;
“并”; 语义; 形式化; 释义;
机译:有限形式化方法求解弱形式化问题
机译:解决空中交通管制区的部门化问题空域部门化及其形式化优化问题的基本原理和问题
机译:形式化软件故障描述的语义分析方法
机译:通用约束语言的形式化和实现,以实现带字的计算。
机译:微波诱导原位非形式化:一种解决无定形固体分散体的稳定性问题的新策略
机译:致力于团队运动比赛语义分析的形式化。橄榄球联合会的申请
机译:软件治疗师:潜在语义分析的可用性问题诊断
机译:交互式搜索机,用于查找已定义问题的解决方案,选择与问题相关的关键字,并在数据库中搜索与这些单词相关的问题
机译:语义分析装置,语义分析方法,语义分析程序以及记录该语义分析程序的记录介质
机译:语义分析装置,语义分析方法,语义分析程序以及存储有其中的语义分析程序的媒体
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。