The collected works of Larry Wos - V - 2: Applying automated reasoning to puzzles, problems and open questions
By: Wos, L.
Material type:
BookPublisher: Singapore World Scientific 2000Description: xvii, 829-1639p.ISBN: 981-02-4998-5.
| Item type | Current location | Call number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|---|
Reference
|
511.3028563 WOS (Ref.) (Browse shelf) | Not for loan | Reference | 503006 |
There are no comments for this item.