点击购买此书全本PDF电子书
一、面向对象的数据设计方法和工具 1
二、建立在一阶谓词演算上的数据库设计理论 42
三、语言产生和理解机制的研究 63
四、乏晰默认推理 87
五、关于圈与路之并的补图的色唯一性 112
六、保密环境中的一种伪随机数生成器的统计特性分析 127
七、线性算子方程的最优剩余算法 133
八、并行系统的死锁和公平性判定问题 162
九、带分隔符号＄的ω语言理论——（Ⅰ）带＄ω语言的运算 175
十、关于永久进程的映射的性质 181