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

面向计算机科学的数理逻辑|2版
PISBN：7030096576
出版类型：教育-大学
出版时间：2002-05-01
版次：2
作者：陆钟万著
学科：数学
语种：中文
所属数据库：科学文库
丛书题名：中国科学院研究生教学丛书
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

面向计算机科学的数理逻辑
  • 作者：陆钟万著
  • PISBN：7030060652
  • 出版时间：1998-01-01
...

集论与逻辑 : 面向计算机科学
  • 作者：沈恩绍著
  • PISBN：7030110471
  • 出版时间：2003-04-01
...

数理逻辑
  • PISBN：0387908951
...

数理逻辑引论与归结原理|2版
  • 作者：Guo-Jun Wang,Hong-Jun Zhou著
  • PISBN：9787030228994
  • 出版时间：2009-04-01
...

计算机科学中的逻辑学
  • 作者：王元元编著
  • PISBN：7030010671
  • 出版时间：1989-09-01
...

非经典数理逻辑与近似推理|2版
  • 作者：王国俊著
  • PISBN：9787030212955
  • 出版时间：2008-05-01