Theory and applications of higher-dimensional Hadamard matrices second edition=高维哈达玛矩阵理论与应用
YiXian Yang ; Xinxin Niu ; Chengqing Xu2010 年出版490 页ISBN：7030247902
Lecture Notes in Computer Science 4732 Theorem Proving in Higher Order Logics 20th International Con
TPHOLs 20072007 年出版400 页ISBN：9783540745907
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
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
