Opening book details…
About this book
逻辑公式的可满足性判定 : 方法, 工具及其应用 by 张健著; 张健 is a book available to read on EtoBox.
- Author
- 张健著; 张健
- Publisher
- 北京:科学出版社
- Published
- 2000
- Language
- ZH
- ISBN
- 9787030083647
- Updated
- 2026-03-25
About this book
No description available for this edition yet.
Published by 北京:科学出版社 (2000).
Details
- Publisher
- 北京:科学出版社
Rate this book
Sign in to rate this book
Quick info
- Language
- zh
- Published
- 2000
- Availability
- Checking…