LECTURE NOTES IN ARTIFICIAL INTELLIGENCE THEOREM PROVING WITH ANALYTICAL TABLEAUX AND RELATED METHODS edited by CARBONELL G. JAIME
Material type:
TextPublication details: BERLIN Springer 1991 Subject(s): LECTURE NOTES IN ARTIFICIAL INTELLIGENCE (COMPUTERS) | COMPUTER SCIENCEDDC classification: 006.306
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
General Books
|
Malaviya National Institute of Technology | 006.306 BAU (Browse shelf(Opens below)) | Available | 49860 |
There are no comments on this title.