本稿为“高等院校英语语言文学专业研究生教材”中的一种，该教程在广泛吸收现代语义学研究成果的基础上，对现...
2013.
本书是计算机科学的基础学科分支。本书共分六章，分别为引言、操作语义的语义框架、指称语义的数学描述方法...
2012.9