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
Lecture Notes in Computer Science 2283 Isabelle/HOL A Proof Assistant for Higher-Order Logic
2002 年出版218 页ISBN：3540433767
Directory of Chinese institutes of higher learning and research institutes authorized to confer doct
（compiled by） Office of the Academic Degrees Committee of the State Council， the Peoples Republic o2222 年出版804 页ISBN：7040002620
面向合作的高等教育管理：校领导手册＝ORGANIZING HIGHER EDUCATION FOR COLLABORATION:A GUIDE FOR CAMPUS LEADERS
（美）阿德里安娜·基泽2013 年出版0 页ISBN：
SOCIAL CLASS STATUS AND TEACHER TRADE UNIONISM:THE CASE OF PUBLIC SECTOR FURTHER AND HIGHER EDUCATIO
1988 年出版207 页ISBN：0709943598
Lecture Notes in Computer Science 3321 Advances in Computer Science-ASIAN 2004 Higher-Level Decision
2004 年出版510 页ISBN：354024087X
Buddhist-based universities in the United States: searching for a new model in higher education
Tanya Storch2015 年出版126 页ISBN：0739184080
