Beginning Mathematical Logic: A Study Guide
Peter Smith
Introduction to the Theory of Computation (Third Edition): Ji ...
Michael Sipser
编译原理
Alfred V. Aho
Multi-Agent Reinforcement Learning: Foundations and Modern Approaches
Stefano V. Albrecht & Filippos Christianos & Lukas Schäfer
Matrix Computations
Gene Howard Golub & Charles F. van Loan