命题动态逻辑及其递归扩展

命题动态逻辑及其递归扩展

出版社：中国科学院

出版年：2012

作者：薛冰天

资源类型：图书

细分类型：中文文献,学位论文

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

扩展的动态描述逻辑及其应用研究

作者：常亮
出版年：2008

递归量子程序设计与验证的逻辑基础

作者：许兆伟
出版社：中国科学院软件研究所
出版年：2019

形状图逻辑扩展的实现

作者：韩亚慧
出版年：2014

经济动态的递归方法

作者：斯托基
ISBN：7500422822
出版社：中国社会科学出版社
出版年：1999

人类重要逻辑命题

作者：阎晓宏
ISBN：7535127029
出版社：湖北教育出版社
出版年：2000

扩展时序协作逻辑的模型检测方法研究

作者：纪玮
出版年：2016