Your search returned 2 results.

Results
		No cover image available LECTURE NOTES IN ARTIFICIAL INTELLIGENCE AUTOMATED MODELLING OF PHYSICAL SYSTEMS by NAYAK, PANDURANG P. Material type: Text; Format: print ; Literary form: Not fiction Publication details: BERLIN Springer 2013Availability: Items available for loan: Malaviya National Institute of Technology (1)Call number: 006.306 NAY. Add to cart (remove)
		No cover image available LECTURE NOTES IN ARTIFICIAL INTELLIGENCE THEOREM PROVING WITH ANALYTICAL TABLEAUX AND RELATED METHODS edited by CARBONELL G. JAIME by CARBONELL G. JAIME. Material type: Text; Format: print ; Literary form: Not fiction Publication details: BERLIN Springer 1991Availability: Items available for loan: Malaviya National Institute of Technology (1)Call number: 006.306 BAU. Add to cart (remove)

Refine your search