LECTURE NOTES IN MATHEMATICS 1245: L-FUNCTIONS AND THE OSCILLATOR REPRESENTATION
1987 年出版239 页ISBN：3540176942;0387176942
LECTURE NOTES IN MATHEMATICS 1312: ANALYTIC FUNCTIONS SMOOTH UP TO THE BOUNDARY
1988 年出版216 页ISBN：3540192557;0387192557
LECTURE NOTES IN MATHEMATICS 1254: EXPLIICIT CONSTRUCTIONS OF AUTOMORPHIC L-FUNCTIONS
1987 年出版155 页ISBN：3540178481;0387178481
LECTURE NOTES IN MATHEMATICS 1315: TOPOLOGICAL PROPERTIES OF SPACES OF CONTINUOUS FUNCTIONS
1988 年出版124 页ISBN：3540193022;0387193022
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：
FUNCTIONS AND CHANGE:A MODELING ALTERNATIVE TO COLLEGE ALGEBRA PRELIMINARY EDITION
BRUCE CRAUDER BENNY EUANR ALAN NAELL1999 年出版462 页ISBN：0395911583
Lecture Notes in Computer Science 2152 Theorem Proving on Higher Order Logics 14th International Con
TPHOLs 20012001 年出版394 页ISBN：354042525X
