PROGRESS IN BRAIN RESEARCH VOLUME 58 MOLECULAR AND CELLULAR INTERACTIONS UNDERLYING HIGHER BRAIN F
J.-P.CHANGEUX J.GLOWINSKI M.IMBERT AND F.E.BLOOM1983 年出版483 页ISBN：0444801049
SUSAN PATRON2006 年出版136 页ISBN：1416901949
Lucky， age ten， can't wait another day. The meanness gland in her heart and the crevices full of questions in her brain make running away from Hard Pan， California （population 43）， the rock-bottom...
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
