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.306Item 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.