AIRBORNE/SPACEBORNE COMPUTERS; COMPUTER PROGRAMMING; HAL/S (LANGUAGE); SOFTWARE ENGINEERING; COMPUTER TECHNIQUES; EQUIPMENT SPECIFICATIONS; SPACE SHUTTLES;
机译:“语义”一词的正式定义是工业互联网中语义互操作性的基础
机译:CANcer试验中评估事件到达时间终点的定义的协议(DATECAN):正式共识方法,用于制定癌症临床试验中标准化事件到达时间终点的指南
机译:优先语义流利度障碍与幻觉有关,但与形式思维障碍无关。
机译:具有HAL / S的形式语义定义的经验
机译:在重新定义形式定义的背景下,学生对极限概念的推理。
机译:如何限制和维护用于逐步进行语义命名不足的词汇:形式语义疗法的项目选择原则
机译:方案的形式重写逻辑语义定义