The Little Prover

作者: Daniel P. Friedman / Carl Eastlund
出版社: The MIT Press
出版年: 2015-7-10
页数: 248
定价: USD 38.00
装帧: Paperback
ISBN: 9780262527958

以下豆列推荐  · · · · · ·  ( 全部 )

谁读这本书?

がお
がお
9月19日 想读


Xinyi Li
Xinyi Li
7月30日 想读

tags:定理证明 函数式编程

> 8人在读

> 6人读过

> 123人想读

二手市场

订阅关于The Little Prover的评论:
feed: rss 2.0