“attributive language with complements”的概念、定义、翻译、参考文献-科学参考

单词	attributive language with complements
释义	attributive language with complements Encyclopedia 理学描述逻辑释 attributive language with complements描述逻辑ALC 描述逻辑中最典型的语言之一，用于知识表示和推理。描述逻辑ALC的全称为attributive language with complements，由施密特·朔（Schmidt-Schau）和斯莫尔卡（Smolka）在1991年给出。
随便看	抽象簇抽象类抽象级数抽象线性空间抽象结构抽象维持环抽象维纳空间抽象网络抽象群抽象胞腔复形抽象自动机抽象范数抽象范畴抽象表现主义抽象解析函数抽象解析数论抽象解释抽象计算复杂性抽象计算机抽象计算理论抽象试验抽象语法树抽象语法表示1号抽象语言族抽象调和分析

科学参考收录了854744条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。