中国科学院计算技术研究所机构知识库

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

帮助

限定条件	出处：计算机科学    发表日期：2011    文献类型：期刊论文

已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择期刊影响因子升序期刊影响因子降序发表日期升序发表日期降序提交时间升序提交时间降序作者升序作者降序WOS被引频次升序WOS被引频次降序题名升序题名降序
	基于动态描述逻辑DDL的动作理论 期刊论文 计算机科学, 2011, 卷号: 38.0, 期号: 007, 页码: 203 作者:  常亮;  陈立民 收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04 动态描述逻辑  知识表示和推理  动作理论  智能主体  语义Web
	面向服务业的通用业务知识模型与逻辑表示 期刊论文 计算机科学, 2011, 卷号: 38.0, 期号: 007, 页码: 243 作者:  周平;  王卫民;  罗伟民;  陈其铭;  郑宇飞;  曹存根 收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04 通用业务模型  主题  动态描述逻辑  动作
	基于切片技术的并行化研究 期刊论文 计算机科学, 2011, 卷号: 38.0, 期号: 007, 页码: 108 作者:  桑春雷;  张兆庆 收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04 切片  并行化  OpenMP  分析工具
	描述Web服务的一阶动态逻辑 期刊论文 计算机科学, 2011, 卷号: 38.0, 期号: 011, 页码: 109 作者:  吴晓庆 收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04 一阶动态逻辑  Web服务模型本体  Web服务  程序  赋值