Collected Works of Larry Wos, the In 2 Vols, Vol I: Exploring the Power of Automated Reasoning; Vol Ii: Applying Automated Reasoning to Puzzles, Problems, and Open Questions
Material type:
TextLanguage: English Publication details: World Scientific; WSPC; 2000ISBN: - 9789812813411
eBooks
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
eBooks
|
Central Library | Central Library | Available | CL1875374 |
There are no comments on this title.
Log in to your account to post a comment.