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

star 4星 · 超过85%的资源 需积分: 42 161 下载量 179 浏览量 2008-04-08 09:46:43 上传 评论 收藏 2.13MB PDF 举报
preview
资源推荐
资源评论
评论 收藏
kittyjie
  • 粉丝: 238
  • 资源: 1603
上传资源 快速赚钱
voice
center-task 前往需求广场，查看用户热搜

最新资源