中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共7条，第1-7条

帮助

条数/页：排序方式：
	The B4-valued propositional logic with unary logical connectives ～1 /～2/┐ 期刊论文 OAI收割中国计算机科学前沿：英文版, 2017, 卷号: 11.0, 期号: 005, 页码: 887 作者: Li Wei; Sui Yuefei \| 收藏 \|
	基于布尔语义的Gentzen推导模型期刊论文 OAI收割计算机科学与探索, 2015, 卷号: 9.0, 期号: 002, 页码: 221 作者: 陈博; 眭跃飞 \| 收藏 \|
	逻辑系统的代数状态空间方法的基础、现状及其应用期刊论文 OAI收割控制理论与应用, 2014, 页码: 1632 作者: 程代展; 齐洪胜 \| 收藏 \|
	Formalization and specification for controlling process modularity in mobile computing 学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2008 Takashi KITAMURA \| 收藏 \|
	信息检索相关性理论的语义基础分析期刊论文 OAI收割计算机科学, 2004, 卷号: 31.0, 期号: 003, 页码: 1 作者: 杨志峰; 王斌; 李素建 \| 收藏 \|
	移动计算形式理论分析与研究期刊论文 OAI收割计算机研究与发展, 2000, 卷号: 37, 期号: 2, 页码: 129-139 魏峻; 冯玉琳 \| 收藏 \|
	abstract imptementation of algebrioc specifications in a temporcl logic language 期刊论文 OAI收割 Journal of Computer Science and Technology, 1991, 卷号: 6, 期号: 1, 页码: 11 林惠民; 龚淳; 谢洪亮 \| 收藏 \|