软件学报
来源：本站原创 更新：2016/8/28 字体：
大 小
.jpg)
一种面向软件工程的时序逻辑语言
唐稚松，赵琛关于在演绎数据库系统研究中引入一种新的关系的一些探讨
徐洁磐利用关联矩阵的秩判断Petri网的公平性
王培良，蒋昌俊关于空间三角网格上G1插值的阶数
姜寿山凸壳问题的计算时间下界
王晓东深表层推理模型HELI
曹存根ADA—DDBMS中的并发控制
陈东辉，韦梓楚
导航:
北大核心 统计源核心 CSCD CSCD扩展 国家级期刊 省级期刊 杂志见刊
版权所有:医学全在线(m.med126.com)
