搜索筛选:
搜索耗时9.3924秒,为你在为你在102,285,761篇论文里面共找到 1 篇相符的论文内容
发布年度:
[期刊论文] 作者：Franz Weitl Burkhard Freitag,
来源：计算机科学技术学报：英文版 年份：2006
为内容和文件的记事结构上的限制的说明和确认的概念结构被建议。作为一个说明形式体系， CTL_(DL ) 被定义，它是由描述逻辑概念的时序逻辑 CTL 的延期。与存在答案相对照，这条途......
相关搜索：
