检索条件： 面向计算机科学的数理逻辑 ( 题名 )

检索结果共有4条

匹配度排行

出版/发布时间

检索筛选

1 图书面向计算机科学的数理逻辑
责任者陆钟万著

出版信息科学出版社 ,2002

ISBN 7-03-009657-6

馆藏信息

书目信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
陆钟万著.面向计算机科学的数理逻辑.科学出版社,2002.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://opac.cdclib.cn:80/opac/book/1002102361
复制引文到剪贴板

面向计算机科学的数理逻辑

陆钟万著.科学出版社,2002.
2 图书面向计算机科学的数理逻辑：第二版
责任者陆钟万著

出版信息科学出版社 ,2004.3

ISBN 7-03-009657-6

馆藏信息

书目信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
陆钟万著.面向计算机科学的数理逻辑：第二版.科学出版社,2004.3.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://opac.cdclib.cn:80/opac/book/1001486594
复制引文到剪贴板

面向计算机科学的数理逻辑：第二版

陆钟万著.科学出版社,2004.3.
3 图书面向计算机科学的数理逻辑：系统建模与推理
责任者 (德)[哈斯]Michael Huth，(英)[瑞安]Mark Ryan著

出版信息机械工业出版社 ,2007.7

ISBN 978-7-111-21397-0

馆藏信息

书目信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
(德)[哈斯]Michael Huth，(英)[瑞安]Mark Ryan著.面向计算机科学的数理逻辑：系统建模与推理.机械工业出版社,2007.7.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://opac.cdclib.cn:80/opac/book/968953
复制引文到剪贴板

面向计算机科学的数理逻辑：系统建模与推理

(德)[哈斯]Michael Huth，(英)[瑞安]Mark Ryan著.机械工业出版社,2007.7.
4 图书面向计算机科学的数理逻辑：系统建模与推理：modelling and reasoning about systems
责任者 (德)Michael Huth，(英)Mark Ryan著

出版信息机械工业出版社 ,2007

ISBN 978-7-111-21397-0

馆藏信息

书目信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
(德)Michael Huth，(英)Mark Ryan著.面向计算机科学的数理逻辑：系统建模与推理：modelling and reasoning about systems.机械工业出版社,2007.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://opac.cdclib.cn:80/opac/book/1002102407
复制引文到剪贴板

面向计算机科学的数理逻辑：系统建模与推理：modelling and reasoning about systems

(德)Michael Huth，(英)Mark Ryan著.机械工业出版社,2007.

预借成功!

预约成功!