Opening book details…
About this nonfiction
面向计算机科学的数理逻辑 : 系统建模与推理 = Logic in computer science : modelling and reasoning about systems by [德] 哈斯 [英] 瑞安 is a nonfiction available to read on EtoBox.
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- [德] 哈斯 [英] 瑞安
- Publisher
- Mechanical Industry Press Pub. Date :2007-07
- Published
- 2007
- Language
- ZH
- ISBN
- 9787111213970
- Category
- nonfiction
- Subjects
- Mathematics, Stem
More by [德] 哈斯 [英] 瑞安
Browse all works by [德] 哈斯 [英] 瑞安
Similar books
- 面向计算机科学的数理逻辑系统建模与推理: 系统建模与推理 — （英）胡思（Huth，M.）伦敦帝国学院（MICHAELHuth）著 (2005)
- 面向计算机科学的数理逻辑 — 陆钟万著; 陆钟万 (2002)
- 面向计算机科学的数理逻辑系统建模与推理 — 未知
- 数理逻辑是什么 = What is mathematical logic — 英 约翰·N.克罗斯利 (2018)
- 计算机逻辑设计 = Foundation of computer logic design — 余立功主编; 潘志兰,王玲,朱耀琴,王平立副主编 (2015)
- 数理逻辑引论:计算机科学与系统的天然基础 — 刘志明,裘宗燕编著 (2022)