曲目

• 符号计算
• 数值计算
• 逻辑和编程
• 分布式计算
• 计算理论的进展