Image from Google Jackets

LECTURE NOTES IN ARTIFICIAL INTELLIGENCE THEOREM PROVING WITH ANALYTICAL TABLEAUX AND RELATED METHODS edited by CARBONELL G. JAIME

Contributor(s): CARBONELL G. JAIMEMaterial type: TextTextPublication details: BERLIN Springer 1991 Subject(s): LECTURE NOTES IN ARTIFICIAL INTELLIGENCE (COMPUTERS) | COMPUTER SCIENCEDDC classification: 006.306
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Date due Barcode
General Books General Books Malaviya National Institute of Technology
006.306 BAU (Browse shelf(Opens below)) Available 49860

There are no comments on this title.

to post a comment.

©2021-2022 Learning Resource Centre, Malaviya National Institute of Technology Jaipur