注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. 数理逻辑与机器证明(陆钟万)

  2. 本书介绍数理逻辑在机器证明中的应用，陈述简明扼要，是入门的好书！

  3. 所属分类：专业指导

    • 发布日期：2009-11-25
    • 文件大小：2097152
    • 提供者：pgser

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

  2. 面向计算机科学的数理逻辑 陆钟万 PDF

  3. 所属分类：专业指导

    • 发布日期：2010-01-14
    • 文件大小：3145728
    • 提供者：wheniwasaboy

  1. 数理逻辑PDF中科院

  2. 中科院 陆钟万老师的 面向计算机科学的数理逻辑

  3. 所属分类：专业指导

    • 发布日期：2010-11-13
    • 文件大小：3145728
    • 提供者：jiangtao2761

  1. 陆钟万面向计算机科学的数理逻辑

  2. 陆钟万面向计算机科学的数理逻辑-（第二版）.pdf

  3. 所属分类：软件测试

    • 发布日期：2012-10-25
    • 文件大小：34603008
    • 提供者：q1204432688

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

  2. 面向计算机科学的数理逻辑（第二版）-陆钟万(1).pdf

  3. 所属分类：网络基础

    • 发布日期：2013-05-01
    • 文件大小：47185920
    • 提供者：u010498824

  1. 数理逻辑答案

  2. 面向计算机科学中的数理逻辑 具体到每一题都有详细的证明和解答

  3. 所属分类：专业指导

    • 发布日期：2014-01-11
    • 文件大小：454656
    • 提供者：chillblood

  1. 陆钟万面向计算机科学的数理逻辑

  2. 中科院经典数理逻辑，考研考博必备专业书资料,PDF 格式

  3. 所属分类：专业指导

    • 发布日期：2008-12-15
    • 文件大小：3145728
    • 提供者：xmufan

  1. 2006测试测量和自动化解决方案文集.pdf

  2. 2006测试测量和自动化解决方案文集pdf,该资料是基于计算机的测试测量和自动化应用方案2006年优秀论文的合订本，包含全部获奖论文。LabV正W特别奖 基丁虚拟仪器的发动机试验台架系统.… 行业:汽车 院校特别奖 基于LabⅤIEW的智能车仿真平台 64 行业:高校/教育 N系统联盟商特别奖 采用N模块化仪器构建业界领先的RFID测试系统. .67 行业:电信 一等奖 汽车 基于N产品的高压共轨柴油机电控单元测试系统的开发 作者:杭勇杨明陆娟 职务:高级工程师 公司:一汽无锡油泵油嘴研究所

  3. 所属分类：其它

    • 发布日期：2019-10-09
    • 文件大小：77594624
    • 提供者：weixin_38743481