查看会员资料

用 户 名：gno****

转帐 | 发送消息
  • 用户积分：
    0 分
  • Email：
  • Icq/MSN：
    QQ:9069443
  • 电话号码：
  • Homepage：
  • 会员简介：

最新会员发布资源

  1. 数理逻辑

    0下载量：
  2. 数理逻辑介绍，2021年版。 1. Introduction. What Is Logic, Really? 2. Propositional Logic 3. Predicate Logic 4. Completeness Theorems (Model Theory) 5. Normal Forms 6. Tableaux Method 7. Resolution Method 8. Miscellaneous

  3. 所属分类：其他书籍

    • 发布日期：2022-10-27
    • 文件大小：1146872

源码中国 www.ymcn.org