大拱桥--暨南大学学生门户 » 珠海校区图书馆 » 搜索包含 形式语义 的图书(共4本)

形式语义学引论

8.8
索取号：H030/3
作者：蒋严、潘海华、
出版社：北京：中国社会科学出版社，2005

程序设计语言的形式语义：an introduction

8.3
索取号：TP301.2-43/1
作者：温斯克尔、宋国新、
出版社：北京：机械工业出版社，2004

逻辑语义学

0
索取号：H030/2
作者：方立、
出版社：北京：北京语言文化大学出版社，2000.8

逻辑语义学

0
索取号：H030/2
作者：方立、
出版社：北京：北京语言大学出版社，2000.8