全部
图书
图书馆
- 图书馆(2)
资源类型
- 图书(2)
馆藏地址
- 数学与统计学院(2)
书目库
- 中文图书(2)
出版社
出版时间
-
面向计算机科学的数理逻辑:系统建模与推理
— MICHAEL HUTH, MARK RYAN (德) 迈克尔·休斯, (英) 马
索书号：O141/6(D)
标准编码： 978-7-111-77068-8
出版信息：北京 机械工业出版社 2025.02
中文图书
-
面向计算机科学的数理逻辑
1 共有：2条记录