The Collected Works of Larry Wos Vol 1 Exploring the Power of Automated Reasoning
Material type:
TextPublisher: Singapore World Scientific Company 2000Description: Xvii,827ISBN: 981-02-4996-9DDC classification: 511.3
| Item type | Current location | Home library | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
Book
|
School of Natural Sciences (SNS) | School of Natural Sciences (SNS) | 511.3WOS (Browse shelf) | Available | SNS0002953 |
Total holds: 0
There are no comments on this title.