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: R 006.306
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
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.

to post a comment.