Fascinating country in the world of computing : your guide to automated reasoning
By: Wos, Larry.
Contributor(s): Pieper, Gail W.
Material type:
BookPublisher: Singapore: World Scientific, 1999Description: xx, 587 p.; : 23 cm.ISBN: 9810239106 .Subject(s): Artificial intelligence | Automatic theorem proving | Computer programming | Otter (Computer file)DDC classification: 511.3028553
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
CD-DVDs
|
DAU | 511.3028553 WOS (Browse shelf) | Available | C01249 | |
| Books | DAU | 511.3028553 WOS (Browse shelf) | Available | 015692 |
Browsing DAU Shelves Close shelf browser
| 511.3 YEN Fuzzy logic : intelligence, control, and information | 511.3028551 PET A=B | 511.3028553 WOS Fascinating country in the world of computing : your guide to automated reasoning | 511.3028553 WOS Fascinating country in the world of computing : your guide to automated reasoning | 511.313 BEL Fuzzy equational logic | 511.313 BEL Concepts and fuzzy logic | 511.313 MOR Fuzzy group theory |
There are no comments for this item.