作者：胡思

胡思简介：

胡思书籍

面向计算机科学的数理逻辑系统建模与推理
面向计算机科学的数理逻辑系统建模与推理

相关关键词

逻辑

计算机

推理

数学

计算机科学

数理逻辑

CS

建模

推荐书单
查看更多