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

检索结果共有5条

匹配度排行

出版/发布时间

在馆记录

检索筛选

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

出版信息科学出版社 ,2005.1

ISBN 7-03-009657-6

馆藏信息

图书信息

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

http://libopac.nudt.edu.cn:80/opac/book/237315
复制引文到剪贴板

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

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

出版信息科学出版社 ,1998

ISBN 7-03-006065-2

馆藏信息

图书信息

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

http://libopac.nudt.edu.cn:80/opac/book/134105
复制引文到剪贴板

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

陆钟万.科学出版社,1998.
3 图书面向计算机科学的数理逻辑
责任者陆钟万

出版信息北京大学出版社 ,1989.11

ISBN 7-301-00828-7

馆藏信息

图书信息

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

http://libopac.nudt.edu.cn:80/opac/book/113163
复制引文到剪贴板

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

陆钟万.北京大学出版社,1989.11.
4 图书面向计算机科学的数理逻辑：系统建模与推理：modelling and reasoning about systems
责任者 M. 胡特,M. 瑞安

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

ISBN 978-7-111-21397-0

馆藏信息

图书信息

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

http://libopac.nudt.edu.cn:80/opac/book/265191
复制引文到剪贴板

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

M. 胡特,M. 瑞安.机械工业出版社,2007.
5 图书 Logic in computer science : modelling and reasoning about systems =: 面向计算机科学的数理逻辑 : 系统建模与推理 /
责任者

出版信息

ISBN 7-111-16053-3 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
.Logic in computer science : modelling and reasoning about systems =: 面向计算机科学的数理逻辑 : 系统建模与推理 /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/219036
复制引文到剪贴板

Logic in computer science : modelling and reasoning about systems =: 面向计算机科学的数理逻辑 : 系统建模与推理 /

.,.

通借成功!

预约成功!