下载首页 / zyings 的资源

  • 面向计算机科学的数理逻辑

    面向计算机科学的数理逻辑，系统建模与推理，不错的一本教材 Michael huth，Mark ryan著 何伟，樊磊译

    5
    113
    11.82MB
    2013-11-15
    26
zyings
码龄14年
暂无认证

  • 持续创作

    授予每个自然月内发布4篇或4篇以上原创或翻译IT博文的用户。不积跬步无以至千里，不积小流无以成江海，程序人生的精彩需要坚持不懈地积累！
关注 私信
上传资源赚积分or赚钱