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

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

帮助

条数/页：排序方式：
	以状态子集为中心的并行模型检测技术研究学位论文 OAI收割硕士, 北京: 中国科学院研究生院, 2016 张营飞 \| 收藏 \| 浏览/下载：17/0 \| 提交时间：2016/07/01 LTL模型检测图计算状态子图
	化学数据库内文字信息处理系统(Ⅱ)—无机化合物、离子及分子化学式自动解析程序系统期刊论文 OAI收割计算机与应用化学, 1986, 期号: 02, 页码: 143-147 作者: 王沛明; 许志宏; 王乐珊收藏 \| 浏览/下载：17/0 \| 提交时间：2014/08/27 程序系统信息处理系统检索程序水溶液体系系数矩阵子段状态图数值型输入数据中离子