Opening book details…
About this book
Logic in Computer Science Modelling and Reasoning about Systems 〔Second Edition〕,Michael Huth,Mark Ryan by 机械工业出版社, (英)Michael Huth, (英)Mark Ryan著, Th Hu, An Ry, 胡思 Michael Huth is a book available to read on EtoBox.
- Author
- 机械工业出版社, (英)Michael Huth, (英)Mark Ryan著, Th Hu, An Ry, 胡思 Michael Huth
- Publisher
- Cambridge University Press
- Published
- 2004
- Language
- ZH
- ISBN
- 9787111160533
- Updated
- 2026-03-25
More by 机械工业出版社, (英)Michael Huth, (英)Mark Ryan著, Th Hu, An Ry, 胡思 Michael Huth
Browse all works by 机械工业出版社, (英)Michael Huth, (英)Mark Ryan著, Th Hu, An Ry, 胡思 Michael Huth
Similar books
- 面向计算机科学的数理逻辑 : 系统建模与推理 = Logic in computer science : modelling and reasoning about systems — 德 哈斯 英 瑞安 (2007)
- 逻辑公式的可满足性判定 : 方法, 工具及其应用 — 张健著; 张健 (2000)
- 模态逻辑导论 — 周北海著 (1997)
- 模态逻辑 — 鍛ㄥ寳娴疯憲 (as-gbk-encoding) (1996)
- 广义模态逻辑 — 弓肇祥(著) (1993)
- Logic in Computer Science Modelling and Reasoning About Systems = 面向计算机科学的数理逻辑 系统建模与推理 （英文版·第2版） — (英)胡思(Huth,M.)伦敦帝国学院(MICHAELHuth)著, (英)Michael Huth, (英)Mark Ryan著, Th Hu, An Ry, 胡思 Michael (2005)