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

Contributor(s): CARBONELL G. JAIMEMaterial type: Text

Average rating: 0.0 (0 votes)

Holdings
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.

to post a comment.

©2023 Central Library, Malaviya National Institute of Technology Jaipur