收藏本站
计算机学报
Chinese Journal of Computers
主办: 中国计算机学会;中国科学院计算技术研究所
周期: 月刊
出版地:北京市
语种: 中文;
开本: 大16开
ISSN 0254-4164
CN 11-1826/TP
邮发代号 2-833
创刊年:1978
ASPT来源刊
中国期刊方阵来源刊
中文核心期刊(1992)
中文核心期刊(1996)
中文核心期刊(2000)
中文核心期刊(2004)
中文核心期刊(2008)
中文核心期刊(2011)
中文核心期刊(2014)
中文核心期刊(2017)
中国期刊网来源刊
更多往期  阅读本刊

计算机学报 1994年05期

目录
模态归结弱包含删除策略 孙吉贵,刘叙华
二元弱可逆有限自动机延迟步数的分解 高翔,鲍丰
半图厄过程字问题的计算复杂性 张立昂
时态覆盖集诊断模型TGSC 叶文,吕勇哉,沈平
利用重写系统研究缺省逻辑 姜云飞
开放逻辑中的合理事实反驳模型类 苏开乐,丁德成,孙智伟,钱磊
面向智能主体的程序设计 王怀民,陈火旺,高洪奎
布尔函数线路复杂度的一个新的下界 金人超,宋恩民,黄文奇
关于择优逻辑单调性的几个结果 孙辉
对于析取范式构造的进一步分析 宋恩民,黄文奇,赖楚生
由2D点匹配恢复刚体运动参数的鲁棒估计 朱嘉琳,吴立德
DPAL:演绎型刺绣图案装配语言 陈世福,朱运生
关于strong形RUE-NRF归结的反倒 欧阳丹彤,刘叙华
计算机学报1994年各期: [01]   [02]   [03]   [04]   [06]   [07]   [08]   [09]   [10]   [11]   [12]   [S1]  
计算机学报 其它年: [2025]   [2024]   [2023]   [2022]   [2021]   [2020]   [2019]   [2018]   [2017]   [2016]   [2015]   [2014]   [2013]   [2012]   [2011]   [2010]   [2009]   [2008]   [2007]   [2006]   [2005]   [2004]   [2003]   [2002]   [2001]   [2000]   [1999]   [1998]   [1997]   [1996]   [1995]   [1993]   [1992]   [1991]   [1990]   [1989]   [1988]   [1987]   [1986]   [1985]   [1984]   [1983]   [1982]   [1981]   [1980]   [1979]   [1978]  
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978