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

©2023 Central Library, Malaviya National Institute of Technology Jaipur