形式语义学的稳定论域理论 《形式语义学的稳定论域理论》,作者:陈仪香著 出版社:科学出版社 ISBN:7030112644。本书讲述了计算机语言形式语义的稳定论域理论中的序理论、逻辑结构和拓扑方法，论述了稳定映射的代数、拓扑刻画以及迹表示等内容。 壹号书单 2003年06月01日 0 点赞 0 评论 18 浏览
