中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页 机构 成果 学者
  
  1. CAS IR Grid
机构
采集方式
内容类型
发表日期
学科主题
筛选

浏览/检索结果: 共22条，第1-10条 帮助

条数/页： 排序方式：
“福曼命题”的科学编史学研究 学位论文  OAI收割
北京: 中国科学院大学, 2021
作者:  刘杭
  |  收藏  |  浏览/下载：47/0  |  提交时间：2022/07/15
The B4-valued propositional logic with unary logical connectives ～1 /～2/┐ 期刊论文  OAI收割
中国计算机科学前沿：英文版, 2017, 卷号: 11.0, 期号: 005, 页码: 887
作者:  Li Wei;  Sui Yuefei
  |  收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
具有模态词□φ=□1φ∨□2φ且可靠与完备的公理系统 期刊论文  OAI收割
软件学报, 2015, 卷号: 26.0, 期号: 009, 页码: 2286
作者:  邓少波;  黎敏;  曹存根;  眭跃飞
  |  收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
基于布尔语义的Gentzen推导模型 期刊论文  OAI收割
计算机科学与探索, 2015, 卷号: 9.0, 期号: 002, 页码: 221
作者:  陈博;  眭跃飞
  |  收藏  |  浏览/下载：10/0  |  提交时间：2023/12/04
命题动态逻辑及其递归扩展 学位论文  OAI收割
博士, 北京: 中国科学院研究生院, 2012
薛冰天
  |  收藏  |  浏览/下载：16/0  |  提交时间：2012/06/01
关于可满足性问题的一些研究及其在模型检测中的应用 学位论文  OAI收割
博士, 北京: 中国科学院研究生院, 2010
陈伟
  |  收藏  |  浏览/下载：25/0  |  提交时间：2010/06/04
语义Web中描述逻辑本体的可伸缩推理和非一致处理 学位论文  OAI收割
博士, 软件研究所: 中国科学院软件研究所, 2009
杜剑峰
  |  收藏  |  浏览/下载：22/0  |  提交时间：2011/03/17
儿童对道义规则领域差异的认知 期刊论文  OAI收割
中华行为医学与脑科学杂志, 2009, 卷号: 18, 期号: 5, 页码: 473-474
作者:  时勘
收藏  |  浏览/下载：22/0  |  提交时间：2014/06/17
直觉线性μ-演算中的合成推理 期刊论文  OAI收割
软件学报, 2009, 卷号: 20, 期号: 8
张文辉
  |  收藏  |  浏览/下载：11/0  |  提交时间：2010/08/24
直觉线性μ-演算 期刊论文  OAI收割
软件学报, 2008, 卷号: 19, 期号: 12
张文辉
  |  收藏  |  浏览/下载：15/0  |  提交时间：2010/08/24