IMSc Library catalog › Results of search for 'su-br:au:"Association for Symbolic Logic."'

Your search returned 26 results.

Not what you expected? Check for suggestions

			Hybrid Artificial Intelligence Systems [electronic resource] : 5th International Conference, HAIS 2010, San Sebastián, Spain, June 23-25, 2010. Proceedings, Part I / edited by Manuel Graña Romay, Emilio Corchado, M. Teresa Garcia Sebastian. by Graña Romay, Manuel [editor.] \| Corchado, Emilio [editor.] \| Garcia Sebastian, M. Teresa [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6076Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Automata, Languages and Programming [electronic resource] : 15th International Colloquium Tampere, Finland, July 11–15, 1988 Proceedings / edited by Timo Lepistö, Arto Salomaa. by Lepistö, Timo [editor.] \| Salomaa, Arto [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 317Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1988Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			FM’99 — Formal Methods [electronic resource] : World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I / edited by Jeannette M. Wing, Jim Woodcock, Jim Davies. by Wing, Jeannette M [editor.] \| Woodcock, Jim [editor.] \| Davies, Jim [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1708Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Intelligent Data Engineering and Automated Learning — IDEAL 2000. Data Mining, Financial Engineering, and Intelligent Agents [electronic resource] : Second International Conference Shatin, N.T., Hong Kong, China, December 13–15, 2000 Proceedings / edited by Kwong Sak Leung, Lai-Wan Chan, Helen Meng. by Leung, Kwong Sak [editor.] \| Chan, Lai-Wan [editor.] \| Meng, Helen [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1983Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Computational Intelligence. Theory and Applications [electronic resource] : International Conference, 7th Fuzzy Days Dortmund, Germany, October 1–3, 2001 Proceedings / edited by Bernd Reusch. by Reusch, Bernd [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2206Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Advances in Soft Computing [electronic resource] : 9th Mexican International Conference on Artificial Intelligence, MICAI 2010, Pachuca, Mexico, November 8-13, 2010, Proceedings, Part II / edited by Grigori Sidorov, Arturo Hernández Aguirre, Carlos Alberto Reyes García. by Sidorov, Grigori [editor.] \| Hernández Aguirre, Arturo [editor.] \| Reyes García, Carlos Alberto [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6438Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha