科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
单黎君; 朱鸿;
国防科学技术大学计算机学院;
湖南;
长沙;
410073;
牛津布鲁克斯大学;
牛津;
建模语言; 形式化语义; UML; 一阶逻辑; 一致性检查;
机译:利用UMLS语义检查UMLS概念之间的语义一致性
机译:使用Snomed CT语义标记验证UMLS语义类型分配
机译:UMLS语义网络作为用于改善生物医学本体和应用程序建模的UML元模型
机译:UML的形式化描述语义
机译:UMLS语义网络的抽象,扩展和结构审核。
机译:统一医学语言系统。 Umls语义网络:UMLS语义网络
机译:UmLs丰富语义网络的关系结构和语义类型分配
机译:通过对话形式化描述的模型检验,交互系统的词汇,句法和语义属性的V和V.
机译:kompaktflä chenwä rmetauscher同时具有两个或多个功能r&t。 r wä rme或kä记忆wä rmeträ eng fl&t .; ssigkeiten,蒸汽或latentwä RME或Latentk&Aumlte储存装置。
机译:六岁或以上。 ssigkeits记忆,用于引入sä来自kontaktfl&auml的rmetauschern; chen elements r&t .; r多功能w&auml的制造; rme和kä te-schichtenspeichern用于s和auml的包含和分发; rme和kä从佛罗里达州的媒体和专业媒体; ssigen或gasf&all;生殖器状态或病情及体征;在有或没有潜伏的情况下由于凝结和蒸发而产生的变化以及功能效果; rmespeicher或kä ltegefrierkugeln
机译:语义词典管理器,语义文本编辑器,语义术语注释器,语义搜索引擎和语义信息系统构建器,该方法基于立即定义语义术语的方法来识别每个单词的准确含义
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。