• 题名: Mathematics Mechanization and Applications
    作者: Dongming Wang / Xiao-Shan Gao
    索书号: http://www.sciencedirect.com/science/book/9780127347608
在架