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
|
511.36028563 WOS (Browse shelf) | Available | C01248 | ||
| Books | 511.36028563 WOS (Browse shelf) | Available | 015690 |
Browsing DAIICT Shelves Close shelf browser
| 511.36 STI Story of proof : logic and the history of mathematics | 511.36 WOH Introduction to proof in abstract mathematics | 511.36028563 SCH Granularity analysis for tutoring mathematical proofs | 511.36028563 WOS Collected works of Larry Wos. Volume 1 | 511.36028563 WOS Collected works of Larry Wos. Volume 2 | 511.36028563 WOS Collected works of Larry Wos. Volume 1 | 511.360711 TAY TeXas style introduction to proof |
There are no comments for this item.