标签: 用空格间隔多个标签,如:小说文学余秋雨

数理逻辑与机器证明, 陆钟万著
ISBN:	价格：￥1.15
语种:	chi
题名:	数理逻辑与机器证明 / 陆钟万著 ,
出版发行:	出版地：北京出版社：科学出版社出版日期： 1983
载体形态:	186页 21cm
主题:	数理逻辑
主题:	机器证明
中图分类:	O141 版次： 3
主要著者:	陆钟万著
索书号	O141/15
标签:	没有标签
随书附盘：
相关主题:	符号主义定理证明无限逻辑逻辑推理自然推导法重写规则法命题逻辑代数逻辑模糊逻辑模态逻辑数学归纳法更多...
相关资源:
分享资源:	分享到... 新浪微博豆瓣腾讯微博 Qzone

馆藏信息
预订信息
虚拟书架
marc信息
豆瓣书评
图书目录
试读信息
内容简介
著者简介

限定所在馆: 限定所在馆藏地点: 限定馆藏状态:

HEA|  |01127nam0 2200301   45  
001|  |0149052857
005|  |1920010726144846
010|  |□d￥1.15
091|  |□aCN□b15031.535
100|  |□a20010430d1973    em y0chiy0121    ea
101|0 |□achi
102|  |□aCN□b110000
105|  |□ay   z   000yy
106|  |□ar
200|10|□a数理逻辑与机器证明□Ashu li luo ji yu -
   |  |ji qi zheng ming□f陆钟万著
210|  |□a北京□c科学出版社□d1983
215|  |□a186页□d21cm
225|2 |□a计算机科学丛书
410| 0|□120010□a计算机科学丛书
606|  |□a数理逻辑
606|  |□a机器证明
690|  |□aO141□v3
701| 0|□a陆钟万□Alu zhong wan□4著
801| 2|□aCN□bNLC
801| 2|□aCN□bMT
905|  |□aMT□fO141/15□b0131639□t106770-
   |  |0□kwe□b0131644□t1067701□kwe□b0-
   |  |380001□t1067703□kj□b0380081□t1-
   |  |067704□kj□b0398034□t1067702□kj
908|  |□a0131644□b361220□cMT□d0□e2□fO-
   |  |141/15□gMT□hyt□i□j1.15□k□l1□m-
   |  |□n□o平装□p1067701□q2002-05-31□r1-
   |  |.15□t□u□v999_CN01□w2002-05-31□y订购□zyt
908|  |□aM0131644□b1900103321□cMT□d□e-
   |  |2□fO141/15□gMT□hyt□i□j1.15□k□-
   |  |l1□m□n□o平装□p□q2002-05-31□r□t□u-
   |  |□v999_CN01□w2002-05-31□y□zyt

名称:
描述:
公开/私有:	公开私有

数理逻辑与机器证明, 陆钟万著