当前位置:首页 > 名称
大约有4,000项符合查询结果项。(搜索耗时:0.0110秒)
为您推荐: 中国计算机用户协会江西吉安地区分会江西省机械工业厅技术情报站 press中国计算机用户协会 应用通讯 press武汉市科学技术情报研究所 武汉计算机检索及其用户协会 press中国音乐家协会广东分会 press中国音乐家协会安徽分会 中国音乐家协会江苏分会
-
-
-
-
-
计算机语言的形式语义
陆汝钤编著1992 年出版886 页ISBN:7030030222中国科学院科学出版基金资助项目:本书概述了形式语义学中的操作语义、指称语义、公理语义和代数语义四大流派的主要内容
-
-
-
-
-
学科分类