分类导航

检索结果

已选条件:

Computer

1986

<符合条件的数据共：4条>

排序方式

登录后可批量下载(统一登录，激活码登录)

The use of recursive transition networks for dialogue design in user interfaces

颁布单位：[University of Alberta] | 颁布时间：1986 | 实施时间：1986 | 学科分类：[User, interfaces, (Computer, systems), Computer, interfaces--Design]

预览 | 原文链接 [浏览：0 下载：0]
RIGI: A MODEL FOR SOFTWARE SYSTEM CONSTRUCTION, INTEGRATION, AND EVOLUTION BASED ON MODULE INTERFACE SPECIFICATIONS

颁布单位：[Rice University] | 颁布时间：1986 | 实施时间：1986 | 学科分类：[Computer, science]

预览 | 原文链接 [浏览：0 下载：0]
RIGI: A MODEL FOR SOFTWARE SYSTEM CONSTRUCTION, INTEGRATION, AND EVOLUTION BASED ON MODULE INTERFACE SPECIFICATIONS

颁布单位：[Rice University] | 颁布时间：1986 | 实施时间：1986 | 学科分类：[Computer, science]

预览 | 原文链接 [浏览：0 下载：0]
Input Transformations and Resolution Implementation Techniques for Theorem Proving in First-Order Logic (Clause Form, Discrimination Networks, Heuristic Search, Locking Resolution)

颁布单位： | 颁布时间：1986 | 实施时间：1986 | 学科分类：[Computer, Science]

预览 | 原文链接 [浏览：1 下载：0]