模型论语义方面主要有两种:稳定模型(Stable model)和良基模型(Well一founded model),还有各自的一些变体.后者比较易于实现,目前己经有了高效的证明论语义及实现。
基于32个网页-相关网页
stable model semantics 稳定模型语义
self-stable model five elements 五行自稳模型
stable model strategy 稳定型战略
formation and stable model 形成和稳定模式
stable static model [统计] 稳定静态模型 ; 稳定统计模型
stable state model 稳态模型
stable-group model 稳定组模型
stable statue model 稳态模型
Stable target model 稳定靶模型
Results Established the stable model of rat osteoblast.
结果建立了稳定的大鼠成骨细胞模型；
Objective To establish a stable model of intracerebral hemorrhage in the frontal lobes of dog.
目的建立稳定的犬额叶脑出血模型。
Objective To establish a stable model of an acute experimental cerebral venous occlusion in cats.
目的建立一个稳定的急性脑静脉闭塞动物模型。
应用推荐