当前位置:首页 > 名称
大约有9,000项符合查询结果项。(搜索耗时:0.0186秒)
为您推荐: 李道顺主编 武汉科技大学中南分校外语学院 熊燕主编 武汉科技大学中南分校信息工程学院 黑龙江大学俄罗斯语言文学与文化研究中心辞书研究所 press北京 语言大学出版社 press武汉 华中科技大学出版社 国立中山大学语言历史学研究所印
-
-
-
-
-
-
-
-
-
计算机语言的形式语义
陆汝钤编著1992 年出版886 页ISBN:7030030222中国科学院科学出版基金资助项目:本书概述了形式语义学中的操作语义、指称语义、公理语义和代数语义四大流派的主要内容
-
学科分类