动态构造相关论文
线性时态逻辑（LTL）是目前被广泛应用的系统性质规范语言,被应用在模型检查、程序综合等领域。本文主要讨论的是有限线性时态逻辑公式......
数据挖掘(Data Mining)作为数据库研究领域中的热点,正受到越来越多的关注,其任务是从大量数据中发现有用的数据,提取隐含在其中的......
