Opening book details…
About this book
数理逻辑引论:计算机科学与系统的天然基础 by 刘志明,裘宗燕编著 is a book available to read on EtoBox.
- Author
- 刘志明,裘宗燕编著
- Publisher
- Science Press
- Published
- 2022
- Language
- ZH
- ISBN
- 9787030732385
More by 刘志明,裘宗燕编著
Similar books
- 面向计算机科学的数理逻辑 — 陆钟万 (1998)
- 数理逻辑引论 — 李涛,张岩,刘峰主编, 李涛, 张岩, 刘峰主编, 李涛, 张岩, 刘峰 (2011)
- 数理逻辑与机器证明/计算机科学丛书 — 陆钟万(著) (1983)
- 面向计算机科学的数理逻辑 : 系统建模与推理 = Logic in computer science : modelling and reasoning about systems — 哈斯 (2007)
- 数理逻辑引论 — Introduction to mathematical logic; 朱梧Jia(编著); 肖奚安(编著) (1995)
- 数理逻辑引论与归结原理 — 王国俊著; 王国俊 (2003)