Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
No cover image available
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 reference: Malaviya National Institute of Technology: Not for loan (1)Call number: R006.306 NAY.

Add to cart
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 Text; Format: print ; Literary form: Not fiction Publication details: BERLIN Springer 1991Availability: Items available for reference: Malaviya National Institute of Technology: Not for loan (1)Call number: R006.306 BAU.

Add to cart
Pages