Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
AI Game Programming Wisdom
Steve Rabin
Data Management on New Hardware
Spyros Blanas, Rajesh Bordawekar, Tirthankar Lahiri, Justin ...
Archimedes Netz, Reviel (ed.)
The works of Archimedes. Vol. 2 On spirals-Cambridge University ...
Designing the Mind: The Principles of Psychitecture
Designing The Mind & Ryan A Bush