IMSc Library catalog › Results of search for 'ccl=su:"Logic"'

			Logic in Computer Science, Tenth Annual IEEE Symposium on- Proceedings, San Diego, 1995 by Kozen, Dexter. Ed. Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; IEEE Computer Society ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 7 Call number: 681.3 KOZ. Place hold Log in to add tags
			Temporal Logic: Mathematical Foundations and Computational Aspects, Vol.1 by Gabbay, Dov M \| Hodkinson, Ian \| Reynolds, Mark. Series: Oxford Logic Guides, 28Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Oxford ; OUP ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 2 Call number: 510.6 GAB. Place hold Log in to add tags
			Bounded Arithmetic, Propositional Logic, and Complexity Theory by Krajicek, Jan. Series: Encyclopedia of mathematics & its applications ; 00060Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; Cambridge University Press ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 10, Shelf No: 2 Call number: 51(02) ENC. Place hold Log in to add tags
			Computer Science Logic 8th Workshop, Poland, 1994 by Pacholski, Leszek. Ed \| Tiuryn, Jerzy. Ed. Series: Lecture notes in computer science ; 00933Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 16 Call number: 681 LNCS. Place hold Log in to add tags
			Logic and Computational Complexity International Workshop Indianapolis, USA, 1994 by Leivant, Daniel. Ed. Series: Lecture notes in computer science ; 00960Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 17 Call number: 681 LNCS. Place hold Log in to add tags
			Advances in linear logic by Girard, Jean-Yves. Ed \| Lafont, Yves. Ed \| Regnier, Laurent. Ed. Series: London mathematical society lecture note series ; 00222Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; Cambridge University Press ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 3 Call number: 510.6 GIR. Place hold Log in to add tags
			Computer Science Logic 7th Workshop, CSL '93, Swansea, UK. 1993 by Borger, Egon. Ed \| Gurevich, Yuri, Ed \| Meinke, Karl. Ed. Series: Lecture notes in computer science ; 00832Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			Collected Works of J.Richard Buchi by Buchi, J. Richard \| Mac Lane, Saunders, Ed \| Siefkes, Dirk, Ed. Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer Verlag ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 12, Shelf No: 4 Call number: 51(081) BUC. Place hold Log in to add tags
			Introduction to Mathematical Logic by Hermes, Hans. Material type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1973Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 3 Call number: 510.6 HER. Place hold Log in to add tags
			Logic of Partial Information by Abdallah, Areski Nait. Series: Monographs in Theoretical Computer ScienceMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 34 Call number: 681.3 ABD. Place hold Log in to add tags
			Finite Automata, Formal Logic, and Circuit Complexity by Straubing, Howard. Series: Progress in Theoretical Computer ScienceMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Boston ; Birkhauser ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 20 Call number: 681.3 STR. Place hold Log in to add tags
			Introduction to mathematical structures and proofs by Gerstein, Larry J. Series: Textbooks in mathematical sciencesMaterial type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: New York Springer Jones and Bartlett Publishers 1996Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 2 Call number: 510.6 GER. Place hold Log in to add tags
			Extensions of First Order Logic by Manzano, Maria. Series: Cambridge Tracts in Theoretical Computer Science, V.19Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; Cambridge University Press ; 1996Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 6 Call number: 510.6 MAN. Place hold Log in to add tags
			Modal Logic and Process Algebra Bisimulation Perspective by Ponse, Alban. et al Eds. Series: CSLI Lecture Notes, No. 53Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; CSLI ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 7 Call number: 510.6 PON. Place hold Log in to add tags
			Logic and information flow by Eijck, Jan van. Ed \| Eijck, Jan van. Ed \| Visser, Albert. Ed. Series: Foundations of computingMaterial type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge The MIT Press 1994Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 1 Call number: 510.6 EIJ. Place hold Log in to add tags
			Computational Aspects of an Order-Sorted Logic with Term Declarations by Schmidt-SchauB, M. Series: Lecture notes in artificial intelligence ; 00395Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1989Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 9 Call number: 681 LNCS. Place hold Log in to add tags
			Natural Language and Logic Int.Scientific Symp., Hamburg, 1989, Proceedings by Studer, R. Ed. Series: Lecture notes in artificial intelligence ; 00459Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 12 Call number: 681 LNCS. Place hold Log in to add tags
			Logic Programming '88 Proceedings, 7th Conf., Tokyo, Japan, 1988 by Furukawa, K. Ed \| Tanaka, H. Ed \| Fujisaki, T. Ed. Series: Lecture notes in artificial intelligence ; 00383Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1989Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 9 Call number: 681 LNCS. Place hold Log in to add tags
			Logic of Theory Change Proceedings, Workshop, FRG, 1989 by Fuhrmann, A. Ed \| Morreau, M. Ed. Series: Lecture notes in artificial intelligence ; 00465Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1991Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 12 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available CSL '89 Proceedings, 3rd Workshop, FRG, 1989 by Borger, E. Ed \| Kleine Buning, H. Ed \| Richter, M M. Ed. Series: Lecture notes in computer science ; 00440Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 11 Call number: 681 LNCS. Place hold Log in to add tags

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Topics

Your search returned 3008 results.