Collected works of Larry Wos. Volume 1
By: Wos, Larry.
Contributor(s): Pieper, Gail W.
Material type:
BookPublisher: Singapore: World Scientific, 2000Description: xvii, 827 p.; 2 v.: 23 cm.ISBN: 9810249969 .Subject(s): Artificial intelligence | Automatic theorem provingDDC classification: 511.36028563
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
CD-DVDs
|
DAU | 511.36028563 WOS (Browse shelf) | Available | C01248 | |
| Books | DAU | 511.36028563 WOS (Browse shelf) | Available | 015690 |
There are no comments for this item.