IMSc Library catalog › Results of search for 'su-rl:"Automated Reasoning"'

Your search returned 2 results.

Not what you expected? Check for suggestions

			Advances in Artificial Intelligence - SBIA 2008 [electronic resource] : 19th Brazilian Symposium on Artificial Intelligence Savador, Brazil, October 26-30, 2008. Proceedings / edited by Gerson Zaverucha, Augusto Loureiro Costa. by Zaverucha, Gerson [editor.] \| Costa, Augusto Loureiro [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5249Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Methods and Applications of Artificial Intelligence [electronic resource] : Third Hellenic Conference on AI, SETN 2004, Samos, Greece, May 5-8, 2004. Proceedings / edited by George A. Vouros, Themistoklis Panayiotopoulos. by Vouros, George A [editor.] \| Panayiotopoulos, Themistoklis [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3025Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags