IMSc Library catalog › Results of search for 'ccl=su:"Computer science" and su-to:Artificial Intelligence incl. Robotics and su-to:Mathematical Logic and Formal Languages and su-to:Artificial Intelligence incl. Robotics '

Your search returned 883 results.

Not what you expected? Check for suggestions

			Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings / edited by Ken McMillan, Aart Middeldorp, Andrei Voronkov. by McMillan, Ken [editor.] \| Middeldorp, Aart [editor.] \| Voronkov, Andrei [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8312Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Rewriting Techniques and Applications [electronic resource] : 5th International Conference, RTA-93 Montreal, Canada, June 16–18, 1993 Proceedings / edited by Claude Kirchner. by Kirchner, Claude [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 690Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			KI 2015: Advances in Artificial Intelligence [electronic resource] : 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings / edited by Steffen Hölldobler, , Rafael Peñaloza, Sebastian Rudolph. by Hölldobler, Steffen [editor.] \| Peñaloza, Rafael [editor.] \| Rudolph, Sebastian [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 9324 \| Lecture Notes in Computer Science ; 9324Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags

First
Previous
36
37
38
39
40
41
42
43
44
45

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha