图书
en
Little Prover
来源: Open Library ·
By Daniel P. Friedman; Carl Eastlund; Duane Bibby (2015). 9 recommendations on Hacker News.
为什么有趣
Hacker News rank #2584, 20 mentions, 9 recommenders.
相关发现
-
Way of Effortless Mindfulness
图书 · Open Library
-
HBR's 10 must reads on managing yourself
图书 · Open Library
-
Emergent Computation
图书 · Open Library
-
Oil
图书 · Open Library
-
Myth and religion
图书 · Open Library
-
The Age of AI
图书 · Open Library