...
机译:本地化有限深度的Kripke模型
Intuitionistic logic; Kripke models; local truth; finite depth;
机译:APS -70TH流体动力学APS划分的年会 - 船舶扫描和谱图:有限深度流动的数学建模与实验数据
机译:认知逻辑与认知博弈论相遇:多智能体Kripke模型与类型空间之间的比较
机译:通过保护措施对Kripke模型进行CTL更新
机译:长峰有限深度曲面波的生成和传播-数值模型和波箱相应结果的比较
机译:用Gentzen序贯方法研究某些模型逻辑的Kripke型模型
机译:局部肌肉疲劳的数学模型:两种职业相关模型的敏感性分析和评估
机译:本地化有限深度Kripke模型
机译:Hehyting算法的Kripke模型的结构