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

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

帮助

条数/页：排序方式：
	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 命题逻辑连接演绎系统布尔代数三元
	基于布尔语义的Gentzen推导模型期刊论文 OAI收割计算机科学与探索, 2015, 卷号: 9.0, 期号: 002, 页码: 221 作者: 陈博; 眭跃飞 \| 收藏 \| 浏览/下载：10/0 \| 提交时间：2023/12/04 布尔代数命题逻辑不等式完备性
	逻辑系统的代数状态空间方法的基础、现状及其应用期刊论文 OAI收割控制理论与应用, 2014, 页码: 1632 作者: 程代展; 齐洪胜 \| 收藏 \| 浏览/下载：17/0 \| 提交时间：2021/01/14 矩阵半张量积逻辑动态系统代数状态空间方程纯状态与混合状态控制与博弈
	Formalization and specification for controlling process modularity in mobile computing 学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2008 Takashi KITAMURA \| 收藏 \| 浏览/下载：17/0 \| 提交时间：2011/03/17 进程代数 Pi演算分布移动计算模态逻辑 Mu演算模型检测
	信息检索相关性理论的语义基础分析期刊论文 OAI收割计算机科学, 2004, 卷号: 31.0, 期号: 003, 页码: 1 作者: 杨志峰; 王斌; 李素建 \| 收藏 \| 浏览/下载：2/0 \| 提交时间：2023/12/04 信息检索系统语义基础分析信息载体代数逻辑
	移动计算形式理论分析与研究期刊论文 OAI收割计算机研究与发展, 2000, 卷号: 37, 期号: 2, 页码: 129-139 魏峻; 冯玉琳 \| 收藏 \| 浏览/下载：21/0 \| 提交时间：2011/07/29 移动计算形式方法移动性交互位置动态配置重构移动计算理论分析形式模型环境演算网络计算平台方法态配置重构移动环境特征时序逻辑扩充模型控制机制技术发展本质特点新计算代数类资源系统位置评价
	abstract imptementation of algebrioc specifications in a temporcl logic language 期刊论文 OAI收割 Journal of Computer Science and Technology, 1991, 卷号: 6, 期号: 1, 页码: 11 林惠民; 龚淳; 谢洪亮 \| 收藏 \| 浏览/下载：5/0 \| 提交时间：2010/08/24 暂存逻辑语言代数区分暂存逻辑公式