安徽理工大学图书馆书目检索系统

| 暂存书架(0) | 登录

检索到 4 条 分类号=B812.4 的结果    

 


所有图书 可借图书

  1. 中文图书1.结构证明论.第2版 B812.4/M519B

    馆藏复本：2
    可借复本：0     马明辉编著
    科学出版社 2023
    (0) 馆藏

  2. 中文图书2.论证挖掘与论证形式化 B812.4/J746

    馆藏复本：2
    可借复本：2     鞠实儿等著
    科学出版社 2022
    (0) 馆藏

  3. 中文图书3.结构证明论 B812.4/M519

    馆藏复本：3
    可借复本：3     马明辉编著
    科学出版社 2019
    (0) 馆藏

  4. 中文图书4.论证分析与评价 B812.4/F124

    馆藏复本：3
    可借复本：3     (荷) 范爱默伦, 斯诺克·汉克曼斯著
    中国社会科学出版社 2018
    (0) 馆藏

返回顶部