Your search returned 158 results.

Not what you expected? Check for suggestions
BOOKS
Logic from Computer Science Proceedings, Workshop, Nov. 1989

by Moschovakis, Y N. Ed.

Series: Mathematical Sciences Research Institute, 21Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer Verlag ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 25 Call number: 681.3:510 MOS.

BOOKS
Iteration Theories Equational Logic of Iterative Processes

by Bloom, Stephen L | Esik, Zoltan.

Series: EATCS Monographs on Theoretical Computer ScienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 40 Call number: 681.3 BLO.

BOOKS
Computer Science Logic 8th Workshop, Poland, 1994

by Pacholski, Leszek. Ed | Tiuryn, Jerzy. Ed.

Series: Lecture notes in computer science ; 00933Material type: Text 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.

BOOKS
Finite Automata, Formal Logic, and Circuit Complexity

by Straubing, Howard.

Series: Progress in Theoretical Computer ScienceMaterial type: Text 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.

BOOKS
Logic and information flow

by Eijck, Jan van. Ed | Eijck, Jan van. Ed | Visser, Albert. Ed.

Series: Foundations of computingMaterial type: Text 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.

BOOKS
COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings / G. Mints, eds.

by P. Martin-Lof, eds | Martin-Löf, Per | Mint︠s︡, G. E.

Series: Lecture notes in computer science ; 417Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; New York : Springer-Verlag, c1990Online access: Click here to access online Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 10 Call number: 681 LNCS.

BOOKS
Handbook of Logic and Language

by van Benthem, Johan. Ed | ter Meulen, Alice. Ed.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Amsterdam ; Elsevier ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 18, Shelf No: 3 Call number: 510.6(02) BEN.

BOOKS
Fork Algebras in Algebra, Logic and Computer Science: Advances in Logic (Vol. 2)

by Frias, Marcelo Fabian.

Series: Advances in Logic: Vol. 2Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Singapore ; WSP ; 2002Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 2 Call number: 510.6 FRI.

E-BOOKS
Category Theory [electronic resource] : Proceedings of the International Conference held in Como, Italy, July 22–28, 1990 / edited by Aurelio Carboni, Maria Cristina Pedicchio, Guiseppe Rosolini.

by Carboni, Aurelio [editor.] | Pedicchio, Maria Cristina [editor.] | Rosolini, Guiseppe [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 1488Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Logic and Computer Science [electronic resource] : Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20–28, 1988 / by Steven Homer, Anil Nerode, Richard A. Platek, Gerald E. Sacks, Andre Scedrov ; edited by Piergiorgio Odifreddi.

by Homer, Steven [author.] | Nerode, Anil [author.] | Platek, Richard A [author.] | Sacks, Gerald E [author.] | Scedrov, Andre [author.] | Odifreddi, Piergiorgio [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 1429Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Algebraic Logic and Universal Algebra in Computer Science [electronic resource] : Conference, Ames, Iowa, USA June 1–4, 1988 Proceedings / edited by Clifford H. Bergman, Roger D. Maddux, Don L. Pigozzi.

by Bergman, Clifford H [editor.] | Maddux, Roger D [editor.] | Pigozzi, Don L [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 425Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York, 1990Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Theory and Applications of Satisfiability Testing [electronic resource] : 6th International Conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers / edited by Enrico Giunchiglia, Armando Tacchella.

by Giunchiglia, Enrico [editor.] | Tacchella, Armando [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2919Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Theory and Applications of Satisfiability Testing [electronic resource] : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers / edited by Holger H. Hoos, David G. Mitchell.

by Hoos, Holger H [editor.] | Mitchell, David G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3542Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Theory and Applications of Satisfiability Testing [electronic resource] : 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings / edited by Fahiem Bacchus, Toby Walsh.

by Bacchus, Fahiem [editor.] | Walsh, Toby [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3569Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Computer Science Logic [electronic resource] : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings / edited by Luke Ong.

by Ong, Luke [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3634Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Mechanizing Mathematical Reasoning [electronic resource] : Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday / edited by Dieter Hutter, Werner Stephan.

by Hutter, Dieter [editor.] | Stephan, Werner [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2605Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Processes, Terms and Cycles: Steps on the Road to Infinity [electronic resource] : Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday / edited by Aart Middeldorp, Vincent Oostrom, Femke Raamsdonk, Roel Vrijer.

by Middeldorp, Aart [editor.] | Oostrom, Vincent [editor.] | Raamsdonk, Femke [editor.] | Vrijer, Roel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3838Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Theory and Applications of Satisfiability Testing - SAT 2006 [electronic resource] : 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings / edited by Armin Biere, Carla P. Gomes.

by Biere, Armin [editor.] | Gomes, Carla P [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4121Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
λ-Calculus and Computer Science Theory [electronic resource] : Proceedings of the Symposium Held in Rome March 25–27, 1975 / edited by C. Böhm.

by Böhm, C [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 37Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1975Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Computer-Aided Verification [electronic resource] : 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings / edited by Edmund M. Clarke, Robert P. Kurshan.

by Clarke, Edmund M [editor.] | Kurshan, Robert P [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 531Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha