LECTURE NOTES IN ARTIFICIAL INTELLIGENCE THEOREM PROVING WITH ANALYTICAL TABLEAUX AND RELATED METHODS edited by CARBONELL G. JAIME
Material type:
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
REFERENCE | Malaviya National Institute of Technology | R006.306 BAU (Browse shelf(Opens below)) | Not for loan | 49860 |
There are no comments on this title.