《高阶逻辑辅助证明系统》高清PDF
作者: (德)托比亚斯·尼普科夫(TobiasNipkow),(英)劳伦斯·鲍尔森(LawrenceC.Paulson),(德)玛尔库斯·温泽尔(MarkusWenzel)著
出版: 北京:北京理工大学出版社
页数: 254 ✅ 真实服务 非骗流量 ❤️
出版时间: 2013.05 (求助前请核对清楚)
求助编号:9 13421167 0 (学习资料 勿作它用)
求助格式:PDF(无水印/扫描版)我要投诉
重要说明:求助即说明同意《文件求助条款》 Word/doc、ePubb、mobi、PPT、TXT
《CAD/CAE》高清PDF下载 技术及其应用研究 2018.05
《计算机辅助访问》高清PDF下载 (荷)威廉·E·萨里斯著;武玲蔚译;周穆之校;吴晓刚主编 2014.09
《点云数据配准及曲面细分技术》高清PDF下载 薛耀红,赵建平,蒋振刚等编著 2011.09
《计算机网络技术》高清PDF下载 叶勇健,陈二微,林勇升主编 2018.08
《大话Web开发 基于知识管理角度》高清PDF下载 王小峰著 2018.08
《碎片与重构 2 面向智能时代的学习》高清PDF下载 王竹立著 2018.01
《AutoCAD 2014实用教程》高清PDF下载 蒋冬清,朱俊杰,代春香主编 2018.03
《使用DRUPAL USING DRUPAL 影印版 英文》高清PDF下载 (美)拜伦,(美)贝里,(美)布鲁诺著 2013.01
《数码时代无菜鸟 数码后期修片从入门到精通 全新版》高清PDF下载 光合网著 2013.09
《ASP.NET Web应用系统开发》高清PDF下载 于华编 2013.02
本书分基本技巧、逻辑与集合、高级材料三部分,内容包括:基础、HOL中的函数编程、高级函数式编程、游戏规则、集合递归定义等。
提示:百度云已更名为百度网盘(百度盘),天翼云盘、微盘下载地址……暂未提供。