书籍简介:

本书系统论述了计算机语言形式语义的稳定论域理论中的序理论、逻辑结构和拓朴方法，建立稳定论域的逻辑表示以及格表示等。

书籍规格:

书籍详细信息
书名	形式语义学的稳定论域理论站内查询相似图书
	9787030112644 《形式语义学的稳定论域理论》pdf扫描版电子书已有网友提供资源下载链接,请点击下方按钮查看
出版地	北京	出版单位	科学出版社
版次	1版	印次	1
定价(元)	12.0	语种	简体中文
尺寸	20	装帧	平装
页数		印数

全网搜索试读资源

形式语义学的稳定论域理论是科学出版社于2003.12出版的中图分类号为 TP301.2 的主题关于形式语义－理论的书籍。