Your search returned 266 results.

Not what you expected? Check for suggestions
E-BOOKS
Temporal Logic [electronic resource] : First International Conference, ICTL'94 Bonn, Germany, July 11–14, 1994 Proceedings / edited by Dov M. Gabbay, Hans Jürgen Ohlbach.

by Gabbay, Dov M [editor.] | Ohlbach, Hans Jürgen [editor.] | SpringerLink (Online service).

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

E-BOOKS
Isabelle [electronic resource] : A Generic Theorem Prover / edited by Lawrence C. Paulson.

by Paulson, Lawrence C [editor.] | SpringerLink (Online service).

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

E-BOOKS
Computer Science Logic [electronic resource] : 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers / edited by Egon Börger, Yuri Gurevich, Karl Meinke.

by Börger, Egon [editor.] | Gurevich, Yuri [editor.] | Meinke, Karl [editor.] | SpringerLink (Online service).

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

E-BOOKS
Turing Machines with Sublogarithmic Space [electronic resource] / edited by Andrzej Szepietowski.

by Szepietowski, Andrzej [editor.] | SpringerLink (Online service).

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

E-BOOKS
Higher Order Logic Theorem Proving and Its Applications [electronic resource] : 7th International Workshop Valletta, Malta, September 19–22, 1994 Proceedings / edited by Thomas F. Melham, Juanito Camilleri.

by Melham, Thomas F [editor.] | Camilleri, Juanito [editor.] | SpringerLink (Online service).

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

E-BOOKS
Computer Science Logic [electronic resource] : 12th International Workshop, CSL’98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998. Proceedings / edited by Georg Gottlob, Etienne Grandjean, Katrin Seyr.

by Gottlob, Georg [editor.] | Grandjean, Etienne [editor.] | Seyr, Katrin [editor.] | SpringerLink (Online service).

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

E-BOOKS
Typed Lambda Calculi and Applications [electronic resource] : 4th International Conference, TLCA’99 L’Aquila, Italy, April 7–9, 1999 Proceedings / edited by Jean-Yves Girard.

by Girard, Jean-Yves [editor.] | SpringerLink (Online service).

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

E-BOOKS
Analysis of Dynamical and Cognitive Systems [electronic resource] : Advanced Course Stockholm, Sweden, August 9–14, 1993 Proceedings / edited by Stig I. Andersson.

by Andersson, Stig I [editor.] | SpringerLink (Online service).

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

E-BOOKS
Executable Modal and Temporal Logics [electronic resource] : IJCAI '93 Workshop Chambery, France, August 28, 1993 Proceedings / edited by Michael Fisher, Richard Owens.

by Fisher, Michael [editor.] | Owens, Richard [editor.] | SpringerLink (Online service).

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

E-BOOKS
Typed Lambda Calculi and Applications [electronic resource] : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10–12, 1995 Proceedings / edited by Mariangiola Dezani-Ciancaglini, Gordon Plotkin.

by Dezani-Ciancaglini, Mariangiola [editor.] | Plotkin, Gordon [editor.] | SpringerLink (Online service).

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

E-BOOKS
Theory Reasoning in Connection Calculi [electronic resource] / by Peter Baumgartner.

by Baumgartner, Peter [author.] | SpringerLink (Online service).

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

E-BOOKS
Theorem Proving with Analytic Tableaux and Related Methods [electronic resource] : 4th International Workshop, TABLEAUX '95 Schloß Reinfels, St. Goar, Germany, May 7–10, 1995 Proceedings / edited by Peter Baumgartner, Reiner Hähnle, Joachim Possega.

by Baumgartner, Peter [editor.] | Hähnle, Reiner [editor.] | Possega, Joachim [editor.] | SpringerLink (Online service).

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

E-BOOKS
Logic Programming and Nonmonotonic Reasoning [electronic resource] : Third International Conference, LPNMR '95 Lexington, KY, USA, June 26–28, 1995 Proceedings / edited by V. Wiktor Marek, Anil Nerode, M. Truszczyński.

by Marek, V. Wiktor [editor.] | Nerode, Anil [editor.] | Truszczyński, M [editor.] | SpringerLink (Online service).

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

E-BOOKS
Computer Science Logic [electronic resource] : 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers / edited by Leszek Pacholski, Jerzy Tiuryn.

by Pacholski, Leszek [editor.] | Tiuryn, Jerzy [editor.] | SpringerLink (Online service).

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

E-BOOKS
Logics in Artificial Intelligence [electronic resource] : European Workshop, JELIA’ 98 Dagstuhl, Germany, October 12–15, 1998 Proceedings / edited by Jürgen Dix, Luís Fariñas Cerro, Ulrich Furbach.

by Dix, Jürgen [editor.] | Cerro, Luís Fariñas [editor.] | Furbach, Ulrich [editor.] | SpringerLink (Online service).

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

E-BOOKS
Logics for Concurrency [electronic resource] : Structure versus Automata / edited by Faron Moller, Graham Birtwistle.

by Moller, Faron [editor.] | Birtwistle, Graham [editor.] | SpringerLink (Online service).

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

E-BOOKS
Term Indexing [electronic resource] / edited by Peter Graf.

by Graf, Peter [editor.] | SpringerLink (Online service).

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

E-BOOKS
Theorem Proving with Analytic Tableaux and Related Methods [electronic resource] : 5th International Workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15–17, 1996 Proceedings / edited by P. Miglioli, U. Moscato, D. Mundici, M. Ornaghi.

by Miglioli, P [editor.] | Moscato, U [editor.] | Mundici, D [editor.] | Ornaghi, M [editor.] | SpringerLink (Online service).

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

E-BOOKS
Graph Grammars and Their Application to Computer Science [electronic resource] : 5th International Workshop Williamsburg, VA, USA, November 13–18, 1994 Selected Papers / edited by Janice Cuny, Hartmut Ehrig, Gregor Engels, Grzegorz Rozenberg.

by Cuny, Janice [editor.] | Ehrig, Hartmut [editor.] | Engels, Gregor [editor.] | Rozenberg, Grzegorz [editor.] | SpringerLink (Online service).

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

E-BOOKS
Higher-Order Algebra, Logic, and Term Rewriting [electronic resource] : Second International Workshop, HOA '95 Paderborn, Germany, September 21–22, 1995 Selected Papers / edited by Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller.

by Dowek, Gilles [editor.] | Heering, Jan [editor.] | Meinke, Karl [editor.] | Möller, Bernhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1074Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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