点击购买此书全本PDF电子书
理论计算机科学 1
Theoretical Computer Science 1
V o1.3 1
1. 并行流计算机模型1/O-CGs的弱可控制性 1
2. 随机排列序列的子序列 22
3. 约略数结构与模型区间计算 27
4. 图式程序设计语言的形式定义和设计问题 47
5. 证明网的定义和验证 60
6. Ra的递归开子集上的可计算实函数 80
7. 范畴递归实例 89
8. 关于线路复杂性 103