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

数理逻辑引论与归结原理|2版
PISBN：9787030228994
出版类型：专著
出版时间：2009-04-01
版次：1
作者：Guo-Jun Wang,Hong-Jun Zhou著
学科：数学
语种：英语
所属数据库：科学文库
丛书题名：数学名著译丛
2浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

数理逻辑引论与归结原理|2版
  • 作者：王国俊著
  • PISBN：7030165837
  • 出版时间：2006-03-01
...

数理逻辑引论与归结原理
  • 作者：王国俊著
  • PISBN：7030115791
  • 出版时间：2003-09-01
...

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

数理逻辑
  • PISBN：0387908951
...

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

面向计算机科学的数理逻辑|2版
  • 作者：陆钟万著
  • PISBN：7030096576
  • 出版时间：2002-05-01