|
|||||
|
|
| 1988年总目录 | |
| 摘 要： | ‘ 新一代计算机PROI.OG并行解释系统中AND/OR并发成分选择策略………………一…………·沈一栋,童瓶(1—1)抽象教据类型的PROIX)G实现………………………j·…………………………·朱关铭、苗巍山(j一14)多机并行PROLOG处理系统WUMPPS的设计与实现 ,…………………………………………………刘初长,陈世鸿,李成富、刘良观,廖素芳,刘岱(2—43)-Ⅱ-puzzle问题的可解性定理…………………………………………………。……陈一如、王家源(2—49)UNIX支持下的专家系统生成方法……………………………………………………郭剑昆,张莉(… |
| 本文献已被 CNKI 等数据库收录！ | |