- 作 者：李未著
- 出 版 社：北京：北京出版社
- 出版年份：2000
- ISBN：7200038334
- 标注页数：355 页
- PDF页数：366 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源366 ≥355页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
目录自述 1
科研论著 19
第一部分 程序理论An Operational Semantics of Multitasking and ExceptionHandling in Ada 21
A Syntax-Directed Approach for Implementing the Rendez-vous Mechanism in Ada 64
A Structural Operational Semantics for an Edison-like Langu-age(1) 91
A Structural Operational Semantics for an Edison-like Langu-age(2) 107
An Operational Translation Theory 123
第二部分 开放逻辑及其应用（英文）An Open Logic System 156
A Logical Framework for Evolution of Specifications 179
The Inductive Process:A Logical Framework for In-ductive Inference 204
第三部分 中文学术论文关于离散型试验的最优设计 230
一个开放的逻辑系统 254
归纳推理和归纳进程 272
形式化方法的局限性 295
第四部分 其他对智能机基础研究的几点看法 323
从80年代各国计算机计划看“八六三”智能机主题“九五”调整 331
关于博士生的自我培养 336
论著目录 345