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 W837Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books | CENTRAL LIBRARY | 621.3819535 W837 (Browse shelf) | Available | 059118 |
There are no comments for this item.