软件学报
来源：本站原创 更新：2016/8/30 字体：
大 小
.jpg)
语义网的一阶逻辑推理技术支持
徐贵红;张健;一种描述逻辑与逻辑程序相结合的杂合系统DLclog
杨方凯;陈小平;混合系统的符号化可达性分析
张海宾;段振华;直觉线性μ-演算(英文)
KAZMI Syed Asad Raza;张文辉;基于奇异点邻近结构的快速指纹识别
时鹏;田捷;苏琪;杨鑫;全国第6届智能CAD与数字娱乐(CIDE2009)学术会议征文通知
基于多项式核的结构化有向树数据聚类算法
丁军娣;马儒宁;陈松灿;用于图像分割的自适应距离保持水平集演化
何传江;李梦;詹毅;基于一阶模态逻辑的模糊推理( 论文QQ81995535 英文)
张晓如;张再跃;眭跃飞;黄智生;基于服务的网络体系结构的设计和实现
易发胜;陈贵海;刘明;龚海刚;曾家智;基于调度集合的多播单播数据联合调度算法
田霖;杨育波;方更法;石晶林;DUTKIEWICZ Eryk;一种维序的基于组合输入输出排队的并行交换结构
戴艺;苏金树;孙志刚;无线Ad Hoc网络中基于时间广播的功率感知路由
文凯;郭伟;黄广杰;基于物理的人体空中运动仿真
魏毅;夏时洪;王兆其;海量医学数据处理框架及快速体绘制算法
薛健;田捷;戴亚康;陈健;软件学报
《软件学报》投稿指南
导航:
北大核心 统计源核心 CSCD CSCD扩展 国家级期刊 省级期刊 杂志见刊
版权所有:医学全在线(m.med126.com)
