计算理论导引
Michael Sipser
Non-Convex Optimization for Machine Learning
Prateek Jain & Purushottam Kar
Proofs and Refutations: The Logic of Mathematical Discovery
Imre Lakatos
Multi-Agent Reinforcement Learning: Foundations and Modern Approaches
Stefano V. Albrecht & Filippos Christianos & Lukas Schäfer
编译原理
Alfred V. Aho