电脑体验，效果更佳

函数程序设计语言图谱-计算机领域：

研究人员

邵志清 陆朝俊 江明德 孙永强

相关术语

核心语言 谓词逻辑 定理证明 操作语义学 分量 TUPLE 无归纳的归纳法 代数规范

标签云