IMSc Library catalog › Results of search for 'ccl=su:"Logic, Symbolic and mathematical." and su-to:Algebra'

Your search returned 27 results.

Not what you expected? Check for suggestions

			Logic and Games on Automatic Structures [electronic resource] : Playing with Quantifiers and Decompositions / by Łukasz Kaiser. by Kaiser, Łukasz [author.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6810Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			The Mathematics of Language [electronic resource] : 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings / edited by Makoto Kanazawa, András Kornai, Marcus Kracht, Hiroyuki Seki. by Kanazawa, Makoto [editor.] \| Kornai, András [editor.] \| Kracht, Marcus [editor.] \| Seki, Hiroyuki [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6878Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Logic, Rationality, and Interaction [electronic resource] : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings / edited by Hans Ditmarsch, Jérôme Lang, Shier Ju. by Ditmarsch, Hans [editor.] \| Lang, Jérôme [editor.] \| Ju, Shier [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6953Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			How the World Computes [electronic resource] : Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings / edited by S. Barry Cooper, Anuj Dawar, Benedikt Löwe. by Cooper, S. Barry [editor.] \| Dawar, Anuj [editor.] \| Löwe, Benedikt [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7318Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Typed Lambda Calculi and Applications [electronic resource] : 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings / edited by Masahito Hasegawa. by Hasegawa, Masahito [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7941Source: 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
			Logic, Rationality, and Interaction [electronic resource] : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings / edited by Davide Grossi, Olivier Roy, Huaxin Huang. by Grossi, Davide [editor.] \| Roy, Olivier [editor.] \| Huang, Huaxin [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8196Source: 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
			Classical groups, derangements and primes by Burness, Timothy & Giudici, Michael. Series: Australian Mathematical Society lecture series ; 25Material type: Text;Language: English; Format: print ; Literary form: Not fiction Language: Eng Publication details: New york Cambrdge university press 2016Online access: Click here to access online \| Click here to access online \| Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 29, Shelf No: 21 Call number: 512.54 BUR. Lists: New Arrivals (02 November 2018). Place hold Log in to add tags

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha