|
题名:
|
形式语义学的稳定论域理论 / 陈仪香著 , |
|
ISBN:
|
7-03-011264-4 价格： CNY18.00 |
|
语种:
|
chi |
|
载体形态:
|
205页 图 21cm |
|
出版发行:
|
出版地： 北京 出版社： 科学出版社 出版日期： 2003 |
|
主题词:
|
形式语义 程序语言 |
|
中图分类法:
|
TP301.2 版次： 4 |
|
主要责任者:
|
陈仪香 著 |
|
附注:
|
国家自然科学基金研究专著出版基金资助 |
|
附注:
|
国家自然科学基金研究专著 |