软件学报
来源:本站原创 更新:2016/8/28 字体:
大 小
自动并行编译的新进展
朱根江,谢立,孙钟秀一种扩展图重写模型下函数语言惰性模式匹配的实现方法
周光明,王鼎兴非单调性和不一致性的处理——一个基于线性逻辑的方法
黄林鹏,孙永强面向目标的最佳α—β搜索策略及其在博弈问题中的应用
张幸儿,潘征宇数据库设计工具集DBTOOLS的设计
论文QQ81995535 杨冬青,唐世渭Petri网用于Horn子句的逻辑推论
林闯加速定理与函数分层
徐书润,王永革陶瓷品的计算机造型和花面设计系统
余成,周琪云,常晓虹N_L:松弛时序逻辑自然推理系统
何锫,唐稚松一个基于信息论的示例学习方法
钟鸣,陈文伟,张凯慈一个求图的连通分支的并行算法
唐策善,梁维发
导航:
北大核心 统计源核心 CSCD CSCD扩展 国家级期刊 省级期刊 杂志见刊
版权所有:医学全在线(m.med126.com)