登录
 机构网站
  1. 首页
  2. 电子图书
  3. 图书详情
...

形式语义学基础与形式说明|2版
PISBN：9787030262387
出版类型：专著
出版时间：2010-03-01
版次：1
作者：屈延文编著
学科：计算机科学技术
语种：中文
所属数据库：科学文库
丛书题名：中国信息安全测评中心系列丛书
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

形式语义学引论（第二版）
  • 作者：周巢尘,詹乃军 著
  • PISBN：9787030533838
  • 出版时间：2017-09-01
...

形式语义学的稳定论域理论
  • 作者：陈仪香著
  • PISBN：7030112644
  • 出版时间：2003-06-01
...

科学语义学研究
  • 作者：刘伟伟
  • PISBN：9787030458698
  • 出版时间：2015-09-01
...

基于认知与计算的事件语义学研究
  • 作者：刘茂福，胡慧君著
  • PISBN：9787030373687
  • 出版时间：2013-04-01
...

计算机语言的形式语义
  • 作者：陆汝钤编著
  • PISBN：7030030222
  • 出版时间：1992-12-01
...

数理逻辑 : 基本原理与形式演算|2版
  • 作者：李未著
  • PISBN：9787030401557
  • 出版时间：2014-03-01