原名:Technical Memo Constructive Problem Solving
作品简介:给定的规范,被理解为一组有限的逻辑公式,一个满足规范的模型。系统的功能可以转化为结构描述。此外,规则可以将配置视为模型生成问题并引入不同的组件……
资源下载
VIP免费升级VIP
原名:Technical Memo Constructive Problem Solving
作品简介:给定的规范,被理解为一组有限的逻辑公式,一个满足规范的模型。系统的功能可以转化为结构描述。此外,规则可以将配置视为模型生成问题并引入不同的组件……