陈仪香, 著
出版社：科学出版社
年代：2003
定价：12.0
本书系统论述了计算机语言形式语义的稳定论域理论中的序理论、逻辑结构和拓朴方法，建立稳定论域的逻辑表示以及格表示等。
该资源已有网友提供分享链接并报价9元,微信扫描添加好友获取
形式语义学的稳定论域理论是科学出版社于2003.12出版的中图分类号为 TP301.2 的主题关于 形式语义－理论 的书籍。
周巢尘, 詹乃军, 著
高芸, 著
(荷) 约德·温特 (Yoad Winter) , 著
屈延文, 编著
(英) 卡恩, 著
(英) 温斯克尔 (Winskel,G.) , 著
陆汝钤, 著
杨静, 杨华, 杨溢龙, 段国勇, 朱浩, 杨嵩, 编著
(新西兰) 科恩 (Kearns,K.) , 著