退出
我的积分:
中文文献批量获取
外文文献批量获取
陈晓桦;
软件工具;
机译:自然语言需求模型的形式规范推导策略
机译:生成受限自然语言要求和AADL模型之间可追溯性的方法
机译:基于受限自然语言的临床数据库查询
机译:从自然语言要求到使用本体的形式规范
机译:用于使用SMS预约的自然语言对话的使用=使用短信预约调度的自然语言对话的研究
机译:基于知识的基于知识编程模式的验证受到资源受限嵌入式设备的自然语言的启发
机译:使用(N)TLCharts的视觉形式规范:具有时间逻辑和自然语言条件转换的状态图自动机
机译:从自然语言要求中导出形式规范的先决条件
机译:受限制的自然语言处理
机译:不同自然语言的受限语义统一编码的计算机输入方法及其计算机输入系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。