AUTOMATED REASONING: INTRODUCTION AND APPLICATIONS
By: WOS,L.
Material type:
BookPublisher: MCGRAW, NEW YORK 1992Description: 24X19.ISBN: 0-07-911251-X.DDC classification: 621.3819535 W837
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Books
|
CENTRAL LIBRARY | 621.3819535 W837 (Browse shelf) | Available | 059118 |
Browsing CENTRAL LIBRARY Shelves Close shelf browser
| No cover image available | No cover image available |
|
|
|
|
|
||
| 621.3819535 W783 ARTIFICIAL INTELLIGENCE | 621.3819535 W783 ARTIFICIAL INTELLIGENCE | 621.3819535 W783 ARTIFICIAL INTELLIGENCE IN ENGINEERING | 621.3819535 W837 AUTOMATED REASONING: INTRODUCTION AND APPLICATIONS | 621.3819535 W959 DISTRIBUTED SYSTEM DESIGN | 621.3819535 W959 MULTIMEDIA DATA HIDING | 621.3819535 X4 SECURITY IN DISTRIBUTED GRID ,MOBILE AND PERVASIVE COMPUTING |
There are no comments for this item.