- 授权协议: 未知
- 开发语言: HTML/CSS
- 操作系统: 跨平台
- 软件首页: https://github.com/2293/s
- 官方下载: https://github.com/2293/s
软件介绍
# http://2293.tk/s
泛搜:同时打开多个搜索引擎页面 multi search engine
- 每周更新google反向代理
- 比较购物搜索
- 种子搜索
- 学术论文搜索
- 图片、音乐、视频搜索
请审查index.html的源码(就跟你想象的那样简单)后,允许 http://2293.tk/s 总是弹出窗口……
The Lambda Calculus, Its Syntax and Semantics . Revised Edition
H.P. Barendregt / North Holland / 1985-11-15 / USD 133.00
The revised edition contains a new chapter which provides an elegant description of the semantics. The various classes of lambda calculus models are described in a uniform manner. Some didactical impr......一起来看看 《The Lambda Calculus, Its Syntax and Semantics . Revised Edition》 这本书的介绍吧!
