书籍详情
形式语义学的稳定论域理论
作者：陈仪香著
出版社：科学出版社
出版时间：2003-06-01
ISBN：9787030112644
定价：¥18.00
购买这本书可以去
内容简介
国家自然科学基金研究成果专著出版基金资助。本书讲述了计算机语言形式语义的稳定论域理论中的序理论、逻辑结构和拓扑方法，论述了稳定映射的代数、拓扑刻画以及迹表示等内容。
作者简介
暂缺《形式语义学的稳定论域理论》作者简介
目录
暂缺《形式语义学的稳定论域理论》目录
猜您喜欢
