搜索：面向计算机科学的数理逻辑
面向计算机科学的数理逻辑
文件大小：6MB 标注页数：258页 文件页数：275页
MD5：8cb2b087ed8d6ab94052d5b500f36b8e
ISBN：7030060652
出版社：北京：科学出版社
作者：陆钟万著
出版时间：1998
面向计算机科学的数理逻辑
文件大小：6MB 标注页数：263页 文件页数：275页
MD5：9cda9ee4e30a1d04146832ba30edd4f4
ISBN：7030096576
出版社：北京：科学出版社
作者：陆钟万著
出版时间：2002
面向计算机科学的数理逻辑
文件大小：5MB 标注页数：240页 文件页数：245页
MD5：46c3de5c23af45eb084a4c6ca6e2b1ff
ISBN：7301008287
出版社：北京：北京大学出版社
作者：陆钟万著
出版时间：1989
面向计算机科学的数理逻辑系统建模与推理 英文版·第2版
文件大小：17MB 标注页数：427页 文件页数：445页
MD5：3f97f863fc70caf56482f3d984c69c15
ISBN：7111160533
出版社：北京：机械工业出版社
作者：（英）胡思（Huth，M.）伦敦帝国学院（MICHAELHuth）著
出版时间：2005
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
文件大小：14MB 标注页数：277页 文件页数：291页
MD5：36966478e8939109aa9db97c435bfc97
ISBN：7111213971
出版社：北京：机械工业出版社
作者：（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译
出版时间：2007