搜索包含形式语义的图书 - 暨南大学珠海校区图书馆

大拱桥--暨南大学学生门户 » 珠海校区图书馆 » 搜索包含形式语义的图书(共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

	形式语义学引论 8.8 索取号：H030/3 作者：蒋严、潘海华、出版社：北京：中国社会科学出版社，2005		程序设计语言的形式语义：an introduction 8.3 索取号：TP301.2-43/1 作者：温斯克尔、宋国新、出版社：北京：机械工业出版社，2004
	逻辑语义学 0 索取号：H030/2 作者：方立、出版社：北京：北京语言文化大学出版社，2000.8		逻辑语义学 0 索取号：H030/2 作者：方立、出版社：北京：北京语言大学出版社，2000.8