Your search returned 2 results.

Sort
Results
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE AUTOMATED MODELLING OF PHYSICAL SYSTEMS

by NAYAK, PANDURANG P.

Material type: Text 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.

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

Pages

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