文件名称:First-order-Predicate-Ambient-Logic
-
所属分类：
- 标签属性：
- 上传时间：2016-09-27
-
文件大小：920.29kb
-
已下载：0次
-
提 供 者：
-
相关连接：无下载说明：别用迅雷下载，失败请重下，重下不扣分！
介绍说明－－下载内容来自于网络，使用问题请自行百度
基于μ-演算的一阶谓词界程逻辑，用谓词变量构造不动点公式，方便描述闭环系统的性质，公式语义简洁．-Based on μ-calculus, the predicate variable is used to construct the fixed point formula, which is convenient to describe the properties of the closed-loop system and the semantics of the formula is concise.
(系统自动生成,下载前可以参看下载内容)
下载文件列表
基于偏序规律的_演算一阶谓词界程逻辑模型检测_江华.pdf
本网站为编程资源及源代码搜集、介绍的搜索网站，版权归原作者所有！ 粤ICP备11031372号
1999-2046 搜珍网 All Rights Reserved.