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

Your search returned 42 results.

Not what you expected? Check for suggestions

			Certified Programs and Proofs [electronic resource] : Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings / edited by Chris Hawblitzel, Dale Miller. by Hawblitzel, Chris [editor.] \| Miller, Dale [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7679Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online 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