finite models
基本释义:
有限模型
网络释义
1)finite models,有限模型
2)finite model theory,有限模型论
3)finite model construction,有限模型构造
4)food-limited model,食物有限模型
5)finite model property,有限模型性质
6)BMC,有限模型验证
用法和例句
"canonical" and "finite model property" are different conceptions,which are relevant to the system s completeness.
系统的“典范性”与“有限模型性质”是与“完全性”紧密相关却又有本质不同的概念。
相关推荐
-
stack algorithm
精品项目网为您提供叠式存储算法stack algorithm是什么意思,stack algorithm翻译,stack algorithm例句,stack algorithm用法等有关,stack algorithm单词知识大全供您查询使用!...
-
α-recursion,alpha-recursion
精品项目网为您提供α递归性α-recursion,alpha-recursion是什么意思,α-recursion,alpha-recursion翻译,α-recursion,alpha-recursion例句,α-recursion,alpha-recursion用法等有关,α-recursion,alpha-recursion单词知识大全供您查询使用!...