The Little Prover
- 作者：DanielP.Friedman/CarlEastlund
- 定价：USD38.00
- ISBN：9780262527958
- 出版社：TheMITPress
- 出版时间：2015-7-10
一句话评价
暂时还没有人进行评论
0/50
回复
读书笔记
这本书还没有笔记，你会是第一个吗？
讨论
扫一扫，把题目装进口袋
- 求职之前，先上牛客
-
扫描二维码，进入QQ群
扫描二维码，关注牛客公众号
- 公司地址：北京市朝阳区北苑路北美国际商务中心K1座一层-北京牛客科技有限公司
- 联系方式：010-60728802 投诉举报电话：010-57596212（朝阳人力社保局）
- 牛客科技© All rights reserved admin@nowcoder.com
- 京ICP备14055008号-4 增值电信业务经营许可证 营业执照 人力资源服务许可证
-
京公网安备
11010502036488号
