注册 | 登录读书好,好读书,读好书!
读书网-DuShu.com
当前位置: 首页出版图书教育/教材/教辅外语英语词汇/语法/阅读形式语义学的稳定论域理论

形式语义学的稳定论域理论

形式语义学的稳定论域理论

定 价:¥18.00

作 者: 陈仪香著
出版社: 科学出版社
丛编项: 国家自然科学基金研究专著 数理科学系列
标 签: 语法

ISBN: 9787030112644 出版时间: 2003-06-01 包装: 简裝本
开本: 20cm 页数: 216 字数:  

内容简介

  国家自然科学基金研究成果专著出版基金资助。本书讲述了计算机语言形式语义的稳定论域理论中的序理论、逻辑结构和拓扑方法,论述了稳定映射的代数、拓扑刻画以及迹表示等内容。

作者简介

暂缺《形式语义学的稳定论域理论》作者简介

图书目录

暂缺《形式语义学的稳定论域理论》目录

本目录推荐