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

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

条数/页： 排序方式：
命题中介逻辑的可靠和完备Gentzen推导系统 期刊论文  OAI收割
软件学报, 2016, 卷号: 000, 期号: 002, 页码: 209
作者:  朱梧槚;  李未;  眭跃飞;  罗杰
  |  收藏  |  浏览/下载：21/0  |  提交时间：2023/12/04
基于布尔语义的Gentzen推导模型 期刊论文  OAI收割
计算机科学与探索, 2015, 卷号: 9.0, 期号: 002, 页码: 221
作者:  陈博;  眭跃飞
  |  收藏  |  浏览/下载：10/0  |  提交时间：2023/12/04
多模GNSS接收机RAIM技术研究 学位论文  OAI收割
: 中国科学院大学, 2014
葛君霞
收藏  |  浏览/下载：54/0  |  提交时间：2014/12/25
命题模态逻辑的模型构造和完备性证明 期刊论文  OAI收割
计算机应用与软件, 2014, 卷号: 31, 期号: 8, 页码: 9-12,24
柳欣欣; 李小燕
  |  收藏  |  浏览/下载：23/0  |  提交时间：2014/12/16
公式分层的谓词模态逻辑 期刊论文  OAI收割
软件学报, 2014, 卷号: 25.0, 期号: 005, 页码: 1014
作者:  孙梅莹;  邓少波;  陈博;  曹存根;  眭跃飞
  |  收藏  |  浏览/下载：2/0  |  提交时间：2023/12/04
命题动态逻辑及其递归扩展 学位论文  OAI收割
博士, 北京: 中国科学院研究生院, 2012
薛冰天
  |  收藏  |  浏览/下载：17/0  |  提交时间：2012/06/01
不动点逻辑中的模型构造与推演系统的完备性 学位论文  OAI收割
博士, 北京: 中国科学院研究生院, 2012
屈楠
  |  收藏  |  浏览/下载：34/0  |  提交时间：2012/07/06
Web Service在MES数据传输中的应用 期刊论文  OAI收割
微计算机信息, 2011, 卷号: 27, 期号: 1, 页码: 139-141
作者:  张晓煜;  常大亮;  史海波;  彭慧
收藏  |  浏览/下载：22/0  |  提交时间：2012/05/29
一种新的启发式知识约简算法 期刊论文  OAI收割
小型微型计算机系统, 2009, 卷号: 000, 期号: 007, 页码: 1249
作者:  蒙祖强;  史忠植
  |  收藏  |  浏览/下载：34/0  |  提交时间：2023/12/04
偏离最佳条件的基于模型的光学邻近效应修正 期刊论文  OAI收割
半导体技术, 2006, 期号: 09
陆梅君; 金晓亮; 毛智彪; 梁强
收藏  |  浏览/下载：38/0  |  提交时间：2012/01/06