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.
为描述地壳块体微损伤各
异性,引入裂纹密度表
损伤张量
式。
声明:以上例句、词性分类联网资源自动生成,部分未经过人工审核,其表达内容亦不代表本软件
观点;若发现问题,欢迎
我们指正。