请输入您要查询的字词:
单词
描述逻辑ALC
释义
描述逻辑ALC
Encyclopedia
理学
描述逻辑
释
attributive language with complements
描述逻辑ALC
描述逻辑中最典型的语言之一,用于知识表示和推理。描述逻辑ALC的全称为attributive language with complements,由施密特·朔(Schmidt-Schau)和斯莫尔卡(Smolka)在1991年给出。
随便看
skew-Hermitian splitting
skew Hermitian transformation
skew-Hermitian transformation
skew hermiticity
skew-hook
skew icosahedron
skewing
skew invariant
skew lattice
skew lines
skew matrix
skew metric space
skewness
skewness coefficient
skewness kurtosis all normality test
skewness-kurtosis all normality test
skewness of a distribution
skewness test
skew partition
skew perspective affinity
skew polar
skew polygon
skew polyhedron
skew polynomial
skew polynomial ring
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2026/4/3 12:24:07