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
a study eigenvalues of higher-order tensors and related polynomial optimization problems=高阶张量特
yang yuning（杨宇宁) and yang qingzhi（杨庆之）2015 年出版0 页ISBN：
Lecture Notes in Computer Science 2152 Theorem Proving on Higher Order Logics 14th International Con
TPHOLs 20012001 年出版394 页ISBN：354042525X
TRAINING THE BODY FOR CHINA:SPORTS IN THE MORAL ORDER OF THE PEOPLE'S REPUBLIC
SUSAN BROWNELL1995 年出版393 页ISBN：0226076474
The asymptotic theory of extreme order statistics Second Edition = 极端顺序统计量的渐近理论 第二版 影印版
Janos Galambos2001 年出版414 页ISBN：7030089170
Lecture Notes in Computer Science 2283 Isabelle/HOL A Proof Assistant for Higher-Order Logic
2002 年出版218 页ISBN：3540433767
“MORAL ORDER”AND THE CRIMINAL LAW：REFORM EFFORTS IN THE UNITED STATES AND WEST GERMANY
ORLAN LEE AND T.A.ROBERTSON1973 年出版266 页ISBN：9024715326
THE WORLD ECONOMY AFTER THE GLOBAL CRISIS:A NEW ECONOMIC ORDER FOR THE 21ST CENTURY
BARRY EICHENGREEN BOKYEONG PARK2012 年出版215 页ISBN：9789814383035
Graphs and Order The Role of Graphs in the Theory of Ordered Sets and Its Applications
1985 年出版796 页ISBN：9027719438
