Automated reasoning and its applications: Essays in honor of Larry Wos
By: Veroff, Robert.
Material type:
BookPublisher: Cambridge: The MIT Press, 1997Description: vi, 153 p.; ill.ISBN: 0262220555 .DDC classification: 511.3
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 511.3 VER (Browse shelf) | Available | 007466 |
Browsing DAIICT Shelves Close shelf browser
| 511.3 VEL How to prove it : a structured approach | 511.3 VEL How to prove it : a structured approach | 511.3 VEL How to prove it : a structured approach | 511.3 VER Automated reasoning and its applications: Essays in honor of Larry Wos | 511.3 WAG Computational complexity | 511.3 WAN Popular Lectures on Mathematical Logic | 511.3 WEB Paradoxes and inconsistent mathematics |
There are no comments for this item.