IMSc Library catalog › Results of search for 'ccl=su:"Science " and ( (allrecords,AlwaysMatches='') and (not-onloan-count,st-numeric >= 1) and (lost,st-numeric=0) )'

			Automata, Graphs and Logic by Thomas, D. Gnanaraj, Ed \| Thamburaj, Robinson, Ed. Material type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Chennai Narosa Publishing House 2019Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 21 Call number: 681.3 THO. Place hold Log in to add tags
			Lectures on logic and computation ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011 Ljubljana, Slovenia, August 2011, Selected Lecture Notes Nick Bezhanishvili, Valentin Goranko. (Eds) by Bezhanishvili, Nick. Series: Lecture notes in computer science ; 7388Edition: 1st ed.Material type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: New York Springer 2012Availability: Items available for loan: IMSc Library (2). Location(s): Multiple Copies Section, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			Interactive Logic Selected Papers from the 7th Augustus de Morgan Workshop, London by Benthem, Johan Van \| Gabbay, Dov \| Benedikt Lowe. Series: Texts in Logic and Games ; 1Material type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: The Netherlands Amsterdam University Press 2007Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 39 Call number: 681.3 BEN. Place hold Log in to add tags
			Logic and Automata History and Perspectives by Flum, Jorg \| Gradel, Erich Ed \| Wilke, Thomas, Ed. Series: Texts in Logic and Games ; 2Material type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam Amsterdam University Press 2008Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 47 Call number: 6813 FLU. Place hold Log in to add tags
			Logic and the foundations of game and decision theory edited by Wiebe van der Hoek, Michael Wooldridge. by Bonanno, Giacomo Ed \| Hoek, W. van der \| Wooldridge, Michael J. Series: Texts in logic and games ; 3.Material type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam Amsterdam University Press, 2008Other title: LOFT 7.Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 40 Call number: 681.3 BON. Place hold Log in to add tags
			Discourses on Social Software by Eijck, Jan van , Ed \| Verbrugge, Rineke , Ed. Series: Texts in Logic and Games ; 5Material type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam, Netherlands Amsterdam University Press 2009Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 47 Call number: 681.3 EIJ. Place hold Log in to add tags
			Handbook of Epistemic Logic by Ditmarsch, Hans Van, Ed \| Halpern, Joseph Y \| Van Der Hoek, Wiebe. Material type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: UK College Publications 2015Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 18, Shelf No: 3 Call number: 510.6(02) DIT. Place hold Log in to add tags
			Knowing one's limits logical analysis of inductive inference by Gierasimczuk, Nina. Series: ILLC Dissertation Series; DS-2010-11Material type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: AMSTERDAN Institute for Logic, Language and computation 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 48 Call number: 681.3 GIE. Place hold Log in to add tags
			Johan van Benthem on Logic and Information Dynamics by Baltag, Alexandru, Ed \| Smets, Sonja, Ed. Series: Outstanding contributions to Logic ; 5Material type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Heildelberg Springer 2014Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 39 Call number: 681.3 BAL. Place hold Log in to add tags
			Models of Strategic Reasoning Logics, Games, and Communities by Benthem, Johan van Ed \| Ghosh, Sujata, Ed \| Verbrugge, Rineke, Ed. Series: Lecture Notes in Computer Science ; 8972Material type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer- Verlag 2015Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 32 Call number: 681 LNCS. Place hold Log in to add tags
			Changing for the better Preference dynamics and agent diversity by Liu, Fenrong. Series: ILLC Dissertation Series; DS-2008-02Material type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam, Netherlands The Institute for Logic, Language and Computation (ILLC) 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 9 Call number: 681.3 LIU. Place hold Log in to add tags
			Epistemic modelling & protocol dynamics by Wang, Yanjing. Series: ILLC Dissertation series; DS-2010-06Material type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam, Netherlands The Institute for Logic, Language and Computation 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 22 Call number: 681.3 WAN. Place hold Log in to add tags
			Proceedings Fifth annual IEEE symposium on Logic in computer science June 4-7, 1990, Philadelphia Material type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Los Alamitos IEEE Computer Society Press 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 4 Call number: 681.3 IEEE. Place hold Log in to add tags
			Eleventh annual IEEE symposium on Logic in Computer Science July 27-30, 1996, New Brunswick, New Jersey by IEEE Computer Society. Material type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: IEEE Computer Society Press 1996Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 4 Call number: 681.3 IEEE. Place hold Log in to add tags
			Proceedings of International Conference on Application of Concurrency to System Design March 23-26, 1998, Fukushima, Japan Material type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Los Alamitos, CA IEEE Computer Society Press 1998Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 4 Call number: 681.3 IEEE. Place hold Log in to add tags
			Theoretical aspects of reasoning about knowledge proceedings of the 1986 conference, March 19-22, 1986, Monterey, California by Halpern, Joseph Y \| Halpern, Joseph Y. Material type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Los Altos, California Morgan. Kaufmann Publishers 1986Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 1 Call number: 681.3 HAL. Place hold Log in to add tags
			Theoretical aspects of Reasoning about knowledge (TARK 1990) Proceedings of the Third conference March 4-7, 1990. Pacific Grove, California by Parikh, Rohit, Ed. Material type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Pacific Grove, California Morgan Kaufmann Publishers 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 14 Call number: 681.3 PAR. Place hold Log in to add tags
			Theoretical aspects of Reasoning about knowledge (TARK 1994) Proceedings of the fifth conference by Fagin, Ronald, Ed. Material type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Morgan Kaufmann Publishers 1994Availability: Items available for loan: IMSc Library (1). Location(s): 7Second floor, Rack No: 48, Shelf No: 4 Call number: 681.3 FAG. Place hold Log in to add tags
			Theoretical aspects of Rationality and knowledge (TARK 1996) Proceedings of the sixth Conference by Shoham, Yoav, Ed. Material type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Morgan Kaufmann Publishers 1996Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 19 Call number: 681.3 SHO. Place hold Log in to add tags
			Theoretical aspects of Rationality and knowledge (TARK 2005) Proceedings of the tenth conference. June 10-12, 2005, Singapore. by Meyden, Ron van der, Ed. Material type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: ACM Digital Library 2005Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 11 Call number: 681.3 MEY. Place hold Log in to add tags

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Topics

Your search returned 10655 results.