当前位置:首页 > 名称
大约有4,000项符合查询结果项。(搜索耗时:0.0316秒)
为您推荐: 四川外国语大学成都学院计算机教研室著 press锦州师范学院中文系外国文学教研室 press北京航空学院计算机系六 二教研室 北京第二外国语学院国际关系教研室 press山东师范学院聊城分院中文系外国文学教研室 北京外国语学院日语教研室
-
-
-
-
-
-
-
-
-
-
计算机语言的形式语义
陆汝钤编著1992 年出版886 页ISBN:7030030222中国科学院科学出版基金资助项目:本书概述了形式语义学中的操作语义、指称语义、公理语义和代数语义四大流派的主要内容
学科分类