没有合适的资源?快使用搜索试试~
我知道了~
文库首页
课程资源
讲义
The Little Prover
The Little Prover
LISP,
Scheme
5星
· 超过95%的资源
需积分: 10
121 下载量
183 浏览量
2016-03-16
12:01:34
上传
评论
3
收藏
3.24MB
PDF
举报
温馨提示
立即下载
使用scheme来写一个定理证明机
资源推荐
资源评论
The Little Prover - Daniel P. Friedman
浏览:24
The Little Prover - Daniel P. Friedman 。
The Little Typer.pdf
浏览:38
A program's type describes its behavior. Dependent types are a first-class part of a language, and are much more powerful than other kinds of types; using just one language for types and programs allo
The Seasoned Schemer.pdf 清晰完整版
浏览:149
5星 · 资源好评率100%
Lisp语言最佳入门书,参考http://book.douban.com/subject/1726083/
The Little Schemer_4th.pdf
浏览:21
The goal of this book is to teach the reader to think recursively. And to read this book, the reader must be comfortable reading English, recognizing numbers, and counting.
The Little Schemer 4th.mobi
浏览:193
3星 · 编辑精心推荐
《The Little Schemer:递归与函数式的奥妙》是一本久负盛名的经典之作,两位作者Daniel P. Friedman、Matthias Felleisen在程序语言界名声显赫。《The Little Schemer:递归与函数式的奥妙》介绍了Scheme的基本结构及其应用、Scheme的五法十诫、Continuation-Passing-Style、Partial Function、
The Little Schemer (4th).pdf
浏览:93
5星 · 资源好评率100%
《The Little Scheme》英文版第四版PDF。
Little-one-s
浏览:97
小东西
A Little C Primer
浏览:52
This book was generated by the volunteers at Wikibooks, a team of people from around the world with varying backgrounds. The people who wrote this book may not be experts in the field. Some may not ev
The Little Typer
浏览:4
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time. A program's type describes its behavior. Dependent types are a first-class part of a language, and are
Little_Millennium_Web
浏览:77
Little_Millennium_Web
The Little Schemer
浏览:112
the little schema 递归与函数式编程奥义 采用lisp方言
The little schemer第十章解释器代码
浏览:191
The little schemer第十章解释器代码,里面包含了解释器用到的所有辅助函数,这个解释器和seasoned第二十章的解释器简单很多,比较好理解,在学习的朋友有需要可以看看
Little Chat-开源
浏览:109
Littlechat是基于javascript和php的快速聊天应用程序。该项目的目标是免费且轻量级的livechat应用程序。
Little Metal-开源
浏览:102
在意大利语中搜索金属属性的一个小应用。
Little-AI-Projects
浏览:66
小人工智能项目 遗传TSP: 使用遗传算法找到 TSP 问题的最佳可能路线。 阿尔法贝塔: Tic Tac Toe 游戏,目前使用 Min Max 来寻找可能的最佳下一步。 仍然需要实现AlphaBeta。 还需要更好的优化。 吉尼姆: 使用 SceneBuilder 并实现 NIM 游戏来测试它。
The Little Book Of Semaphores
浏览:2
Allen B. Downey写的The Little Book of Semaphores One reason students don’t understand this material deeply is that it takes more time, and more practice, than most classes can spare. Synchronization is
The Little Book of Semaphores
浏览:108
The Little Book of Semaphores is a textbook that introduces the principles of synchronization for concurrent programming. In most computer science curricula, synchronization is a module in an Operatin
A Little Thinking in Qt
浏览:151
关于Qt中的moc以及信号槽内部实现机制的介绍
A Little C Primer_c_
浏览:86
A Little C Primer
Vector Davinci官方帮助配置使用手册(AutoSAR).pdf
浏览:23
5星 · 资源好评率100%
Vector官方帮助文档,配置使用手册。从新建DaVinci工程开始一步一步的讲解如何配置工程;如何编译生成C代码;如何导入CDD、DBC等文件。手册讲解细致,可以说是手把手教学了
c++入门,核心,提高讲义笔记
浏览:130
5星 · 资源好评率100%
最详细的c++入门,核心,提高讲义笔记,看会成为大佬没问题,下载后有疑问请私信。
离散数学及其应用 第八版 奇数编号练习答案.pdf
浏览:156
4星 · 用户满意度95%
离散数学及其应用 第八版本科教学版答案,有需要其他版本到的还可以去华章图书官网下载 地址:http://www.hzbook.com/
数字图像处理 冈萨雷斯 课后习题
浏览:50
数字图像处理 冈萨雷斯 第三版 课后习题。 免费下,没积分的朋友们,免费下。 百度文库网页链接转出来的,清晰,内容可能不太全,没积分的朋友们将就看吧。
科研伦理与学术规范 期末考试2 (40题).pdf
浏览:174
科研伦理与学术规范 期末考试2 (40题)
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
卓可
2016-04-22
完整的资源,感谢楼主!
wind_chj
2016-07-13
这么好的书,没得说
WCFNicho
2016-12-25
非常不错,非扫描版,感谢楼主!
大师兄技术私享
2018-11-27
非常不错。。。
唐门问心
2016-09-30
非常著名的资源,自然要弄下来学一下。编程语言!
1
2
3
前往
页
eleifend
粉丝: 1
资源:
5
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
NCIAE-Data-Structure大一大二笔记
学习wireshark笔记
digital-image-数据可视化笔记
基于arvr开发的管理系统
基于C++实现的人工智笔记
Visualization-maste移动开发
NCIAE-Data-Structure实现的网络安全
基于coherent-diffraction-i的游戏开发
基于dip-homework-mast爬虫开发
tiktok_v3.0.2.apk
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功
- 1
- 2
- 3
前往页