文章编号
标题
作者
年卷期:起始页码-结束页码
复制
4791
命题中介逻辑的可靠和完备Gentzen推导系统
朱梧槚,李未,眭跃飞,罗杰
2016,27(2):209-218
4939
偶图及其应用研究综述
许东,王晶晶,李静
2016,27(2):195-208
4977
几何代数的高阶逻辑形式化
马莎,施智平,李黎明,关永,张杰,Xiaoyu SONG
2016,27(3):497-516
4978
有界闭连通域上的非线性循环终止性分析
李轶,冯勇
2016,27(3):517-526
4982
基于模拟关系的精化检测方法
王婷,陈铁明,刘杨
2016,27(3):580-592
4986
运用栅栏函数验证连续系统的有界时间安全性
甘庭,夏壁灿
2016,27(3):645-654
4988
二维逻辑PPTL
SL
的可满足性检查
陆旭,段振华,田聪
2016,27(3):670-681
4989
面向无穷数据的形式模型综述
宋富,吴志林
2016,27(3):682-690
1
一共
8
条记录 共
1
页 第
1
页
第一页
上一页
下一页
最后一页
跳转到第
页
用微信扫一扫
