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