高级检索

    栏目
    人工智能(AI)研究中的若干问题
    董占球
    1991, 28(6): 1-7.
    摘要
    集成电路参数与大型机CPU性能
    孙凤英
    1991, 28(6): 8-19.
    摘要
    基于问题求解的归纳程序综合
    王志坚, 章骏, 徐家福
    1991, 28(6): 20-25.
    摘要
    分布式实时操作系统:综合化系统资源管理机制的研究与设计
    王毅, 韩兆轩, 周兴社, 康继昌
    1991, 28(6): 26-30.
    摘要
    基于知识的编译程序测试实例自动生成器
    周继鹏
    1991, 28(6): 31-37.
    摘要
    NOS 系统控制点机制(SCPF)—NOS环境的系统开发工具
    倪继坤, 杨利, 饶春荣
    1991, 28(6): 38-42.
    摘要
    一种改进的Fisher判别准则
    程永清, 庄永明, 杨静宇
    1991, 28(6): 43-48.
    摘要
    JSP方法的形式化途径
    李师贤, 李文军
    1991, 28(6): 49-52,37.
    摘要
    集成式辅助测试工具的基础FORTEST
    王忠良, 卢慧琼
    1991, 28(6): 53-57,25.
    摘要
    智能化信息系统中的广义推理系统
    陈有刚
    1991, 28(6): 58-61,48.
    摘要
    Smalltalk-80系统中的存储管理
    彭智勇
    1991, 28(6): 62-65.
    摘要