... predicate language 谓词语言 predicate logic of first order 一阶谓词逻辑 predicate logic of higher order 高阶谓词逻辑 ...
基于6个网页-相关网页
Predicate logic of first order is the most classical calculation system in modern logic.
一阶谓词逻辑是现代逻辑中最为经典的演算系统。
参考来源 - 一阶谓词逻辑在人工智能中的应用·2,447,543篇论文数据，部分数据来源于NoteExpress
Predicate logic of first order is the most classical calculation system in modern logic.
一阶谓词逻辑是现代逻辑中最为经典的演算系统。
The access control rule of the ACBAC model is formalized by the first order predicate logic. The realization method of the model in business process management systems is also discussed.
文章用一阶谓词对该模型的访问控制约束规则进行了形式化描述，并讨论了该模型在业务流程管理系统中的实现方法。
应用推荐