全部
图书期刊非书资料
电子资源
图书馆
- 图书馆(1)
资源类型
- 图书(1)
书目库
- 中文图书(1)
主题
- 数理逻辑(1)
出版社
- 机械工业出版社(1)
出版时间
- 2025.2(1)
-
面向计算机科学的数理逻辑:系统建模与推理
— (德) 迈克尔·休斯, (英) 马克·莱恩著 MICHAEL HUTH,
索书号：O141/X60
标准编码： 978-7-111-77068-8
出版信息：北京 机械工业出版社 2025.2
中文图书
1 共有：1条记录