The collected works of Larry Wos - V - 1: Exploring the power of automated reasoning
By: Wos, L.
Material type:
BookPublisher: Singapore World Scientific 2000Description: xvii, 827p.ISBN: 981-02-4996-9.
| Item type | Current location | Call number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|---|
Reference
|
511.3028563 WOS (Ref.) (Browse shelf) | Not for loan | Reference | 503005 |
Browsing International Institute of Information Technology Bangalore Shelves Close shelf browser
| 511.3 WOO Paradox and Paraconsistency: Conflict resolution in the abstract sciences | 511.30223 SHI The Logical Status of Diagrams | 511.30285 MEL Higher Order Logic and Hardware Verification | 511.3028563 WOS (Ref.) The collected works of Larry Wos - V - 1: Exploring the power of automated reasoning | 511.3028563 WOS (Ref.) The collected works of Larry Wos - V - 2: Applying automated reasoning to puzzles, problems and open questions | 511.313 BAL Lectures on fuzzy and fuzzy susy physics | 511.313 BER Fuzzy systems design principles: Building fuzzy IF-THEN rule bases |
There are no comments for this item.