Collected works of Larry Wos. Volume 2
By: Wos, Larry.
Contributor(s): Pieper, Gail W.
Material type:
BookPublisher: Singapore: World Scientific, 2000Description: xvii, 829 - 1639 pp.; 2 v.: 23 cm.ISBN: 9810249985 .Subject(s): Artificial intelligence | Automatic theorem provingDDC classification: 511.36028563
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 511.36028563 WOS (Browse shelf) | Available | 015691 |
Browsing DAIICT Shelves Close shelf browser
| 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 | 511.4 RIV Introduction to the approximation of functions |
There are no comments for this item.