Ps22Pdf 关键词 : 形式化方法 ; 非递归 ; PAR; 循环不变式 ; 可靠性 [gap=1010]Key words: formal method; non-recursive; PAR; loop invariant; reliability
基于108个网页-相关网页
非递归滤波器 Nonrecursive filters
离散时间非递归滤波器 Discrete-time nonrecursive filters
非递归算法 Non-recursive algorithm
非递归集 [数] nonrecursive set
非递归模型 nonrecursive model
非递归表紧凑算法 [计] nonrecursive list compacting algorithm
非递归文法 [计] nonrecursive grammar
非递归实现 [计] nonrecursive realization ; non-recursive implement
非递归名词短语 Non-recursive NPs
This paper discusses the denotation and reasoning of non-recursion rule with viewat the same time applies the idea to a . developed deductive database
介绍利用视图技术实现非递归规则的表示和推理并将该思想应用到开发的一个演绎数据库中去。
参考来源 - 利用视图技术实现非递归规则的表示与推理 in C·2,447,543篇论文数据,部分数据来源于NoteExpress
应用推荐