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：
UNDERSTANDING ALGEBRA REVISED EDITION
JOHN BALEY MARTIN HOLSTEGE1991 年出版634 页ISBN：0070035660
Lecture Notes in Computer Science 2152 Theorem Proving on Higher Order Logics 14th International Con
TPHOLs 20012001 年出版394 页ISBN：354042525X
INTERMEDIATE ALGEBRA THIRD EDITION
DENNIS WELTMAN AND GILBERT PEREZ1994 年出版0 页ISBN：
BEGINNING ALGEBRA FIFTH EDITION
JOHN TOBEY JEFFREY SLATER2002 年出版628 页ISBN：013090953X
ELEMENTARY ALGEBRA SECOND EDITION
YOSHIKO YAMATO MARY JANE CORDON1991 年出版622 页ISBN：
