Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述逻辑种知识表示的形式化语
,
阶逻辑的可判定子集。
Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述逻辑种知识表示的形式化语
,
阶逻辑的可判定子集。
To describe the anisotropy of microdamage of the crust block, we use the damage tensor that is expressed in the fissure density.
为描述地壳块体微损伤的各异性,引入裂纹密度表示的损伤张量形式。
声明:以上、词性分类均由互联网资源自动生成,部分未经过人工审核,其表达内容亦不代表本软件的观点;若发现问题,欢迎
我们指正。
Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
辑是一种知识表示的形式化语言,是一阶
辑的可判定子集。
To describe the anisotropy of microdamage of the crust block, we use the damage tensor that is expressed in the fissure density.
为地壳块体微损伤的各
异性,引入裂纹密度表示的损伤张量形式。
声明:以上例句、词性类均由互联网资源自动生
,
未经过人工审核,其表达内容亦不代表本软件的观点;若发现问题,欢迎
我们指正。
Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述逻辑是一种知识表示的形式化语言,是一阶逻辑的可判定。
To describe the anisotropy of microdamage of the crust block, we use the damage tensor that is expressed in the fissure density.
描述地壳块体微
的各
异性,引入裂纹密度表示的
量形式。
声明:以上例句、词性分类均由互联网资源自动生成,部分未经过人工审核,其表达内容亦不代表本软件的观点;若发现问题,欢迎我们指正。
Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
辑是一种知识表示的形式化语言,是一阶
辑的可判定子集。
To describe the anisotropy of microdamage of the crust block, we use the damage tensor that is expressed in the fissure density.
为地壳块体微损伤的各
异性,引入裂纹密度表示的损伤张量形式。
声明:以上例句、词性类均由互联网资源自动生
,
未经过人工审核,其表达内容亦不代表本软件的观点;若发现问题,欢迎
我们指正。
Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
述逻辑是一种知识表示
形式化语言,是一阶逻辑
可判定子
。
To describe the anisotropy of microdamage of the crust block, we use the damage tensor that is expressed in the fissure density.
述地壳块体微
各
异性,引入裂纹密度表示
张量形式。
声明:以上例句、词性分类均由互联网资源自动生成,部分未经过人工审核,其表达内容亦不代表本软件观点;若发现问题,欢迎
我们指正。
Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述逻辑是一种知识表示的形式化语言,是一阶逻辑的可判定子集。
To describe the anisotropy of microdamage of the crust block, we use the damage tensor that is expressed in the fissure density.
为描述地壳块体微损伤的各异性,引入裂纹密度表示的损伤张量形式。
声明:以上例句、词性分类均由互联网资源自动生成,部分未经过核,其表达内容亦不代表本软件的观点;若发现问题,欢迎
我们指正。
Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述逻辑种知识表示的形式化语
,
阶逻辑的可判定子集。
To describe the anisotropy of microdamage of the crust block, we use the damage tensor that is expressed in the fissure density.
为描述地壳块体微损伤的各异性,引入裂纹密度表示的损伤张量形式。
声明:以上、词性分类均由互联网资源自动生成,部分未经过人工审核,其表达内容亦不代表本软件的观点;若发现问题,欢迎
我们指正。
Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述逻辑是一种示的形式化语言,是一阶逻辑的可判定子集。
To describe the anisotropy of microdamage of the crust block, we use the damage tensor that is expressed in the fissure density.
为描述地壳块体微损伤的各异性,引入裂纹密度
示的损伤张量形式。
声明:以上例句、词性分类均由互源自动生成,部分未经过人工审核,其
达内容亦不代
本软件的观点;若发现问题,欢迎
我们指正。
Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述逻辑是一种知识形式化语言,是一阶逻辑
可判定子集。
To describe the anisotropy of microdamage of the crust block, we use the damage tensor that is expressed in the fissure density.
为描述地壳块体微损伤各
异性,引入裂纹密度
损伤张量形式。
声明:以上例句、词性分类均网资源自动生成,部分未经过人工审核,其
达内容亦不代
本软件
观点;若发现问题,欢迎
我们指正。