OPERATIONS RESEARCH： Mathematical Programming
温斯顿（Winston2004 年出版552 页ISBN：7302077258
由WINSTON编纂的《OPERATIONS RESEARCH》（第3版）一书系统全面地讲解了运筹学的有关内容，是一本在境外被普遍使用的教科书。其特点是重点介绍各种原理和方法的基本概念及其应用，而省略抽象的推理及详细的证明过...
哲学是怎样炼成的：从普通常识到逻辑推理=DOING PHILOSOPHY FROM COMMON CURIOSITY TO LOGICAL REASONING
（英）蒂莫西·威廉森2019 年出版0 页ISBN：
An Elementary Intoduction to Mathematical Finance:Options and Other Topics
Second Edition2004 年出版253 页ISBN：
本书介绍了有关期权定价等方面的知识。
Lecture Notes in Artificial Intelligence 3900 Computational Logic in Multi-Agent Systems 6th Interna
CLIMA VILondon2222 年出版0 页ISBN：
Lecture Notes in Computer Science 4732 Theorem Proving in Higher Order Logics 20th International Con
TPHOLs 20072007 年出版400 页ISBN：9783540745907
Lecture Notes in Artificial Intelligence 4529 Foundations of Fuzzy Logic and Soft Computing 12th Int
IFSA 20072007 年出版830 页ISBN：9783540729174
Lecture Notes in Computer Science 3603 Theorem Proving in Higher Order Logics 18th International Con
TPHOLs 20052005 年出版409 页ISBN：3540283722
Lecture Notes in Computer Science 3223 Theorem Proving on Higher Order Logics 17th International Con
TPHOLs 20042004 年出版337 页ISBN：3540230173
Lecture Notes in Computer Science 4407 Logic-Based Program Synthesis and Transformation 16th Interna
LOPSTR 20062007 年出版236 页ISBN：9783540714095
A practical logic of cognitive systems volume 2 the reach of abduction insight and trial
dov m.gabbay and john woods2005 年出版476 页ISBN：044451791x
