分面检索

图书馆

1. 湖北工程职业学院图书馆 (2)
2. 显示更多..

主题

1. 形式语义学 (1)
2. 程序设计语言学 (1)
3. 程序语言 (1)
4. 高等学校 (1)
5. 显示更多..

著者

1. 宋国新 (2)
2. glynn winskel著 (1)
3. 宋国新等译 (1)
4. 温斯克尔 (1)
5. 显示更多..

出版日期

1. 2009 (1)
2. 2004 (1)
3. 显示更多..

文献类型

1. 图书 (2)
2. 显示更多..

语言种类

1. 汉语 (2)
2. 显示更多..