西安工业大学图书馆书目检索系统

| 暂存书架(0) | 登录

检索到 8 条 主题词=形式语义 的结果    

 


所有图书 可借图书

  1. 中文图书1.走向意义:形式语义学与维持根斯坦 TP301.2/17

    馆藏复本:3
    可借复本:2
    (荷)司马亭(Martin Stokhof)著
    清华大学出版社 2022
    (0) 馆藏

  2. 中文图书2.深化知识表征与建模:语义图示的设计、开发与应用 TP301.2/15

    馆藏复本:3
    可借复本:2
    顾小清, 权国龙著
    华东师范大学出版社 2020
    (0) 馆藏

  3. 中文图书3.形式语义学引论.第2版 TP301.2/13=2

    馆藏复本:3
    可借复本:2
    周巢尘,詹乃军著
    科学出版社 2017
    (0) 馆藏

  4. 中文图书4.计算系统的形式语义.上 TP301.2/11-1

    馆藏复本:2
    可借复本:1
    陆汝钤著
    清华大学出版社 2017
    (0) 馆藏

  5. 中文图书5.计算系统的形式语义.下 TP301.2/11-2

    馆藏复本:2
    可借复本:1
    陆汝钤著
    清华大学出版社 2017
    (0) 馆藏

  6. 中文图书6.形式语义学引论 H030/18

    馆藏复本:4
    可借复本:3
    蒋严, 潘海华著
    中国社会科学出版社 2005
    (0) 馆藏

  7. 中文图书7.形式语义学基础与形式说明 TP301.2/6=2

    馆藏复本:2
    可借复本:2
    屈延文编著
    科学出版社 2010
    (0) 馆藏

  8. 中文图书8.形式语义学的稳定论域理论 TP301.2/3

    馆藏复本:6
    可借复本:6
    陈仪香著
    科学出版社 2003
    (0) 馆藏


返回顶部