Kitap
en
Type Theory and Formal Proof
Kaynak: Open Library ·
By Rob Nederpelt; Herman Geuvers (2014). 11 recommendations on Hacker News.
Neden ilginç
Hacker News rank #2302, 15 mentions, 11 recommenders.
Benzer keşifler
-
Way of Effortless Mindfulness
Kitap · Open Library
-
HBR's 10 must reads on managing yourself
Kitap · Open Library
-
Emergent Computation
Kitap · Open Library
-
Oil
Kitap · Open Library
-
Myth and religion
Kitap · Open Library
-
The Age of AI
Kitap · Open Library