请输入您要查询的字词:
单词
描述逻辑ALC
释义
描述逻辑ALC
Encyclopedia
理学
描述逻辑
释
attributive language with complements
描述逻辑ALC
描述逻辑中最典型的语言之一,用于知识表示和推理。描述逻辑ALC的全称为attributive language with complements,由施密特·朔(Schmidt-Schau)和斯莫尔卡(Smolka)在1991年给出。
随便看
运动决策
运动几何学
运动分析
运动分解
运动创伤康复
运动前区
运动力的展示
运动动作的解剖学分析
运动动机气氛
运动包
运动医务监督
运动医学
运动医学和热医学
运动单位
运动单位电位
运动参与
运动参考系
运动发育评定
运动变量
运动可穿戴设备
运动后效
运动后过量氧耗
运动向量
运动员
运动员保险
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2026/2/28 21:58:44