Your search returned 918 results.

Not what you expected? Check for suggestions
E-BOOKS
Computer Science Logic [electronic resource] : 5th Workshop, CSL '91 Berne, Switzerland, October 7–11, 1991 Proceedings / edited by Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter.

by Börger, Egon [editor.] | Jäger, Gerhard [editor.] | Kleine Büning, Hans [editor.] | Richter, Michael M [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Programming Language Implementation and Logic Programming [electronic resource] : 4th International Symposium, PLILP'92 Leuven, Belgium, August 26–28, 1992 Proceedings / edited by Maurice Bruynooghe, Martin Wirsing.

by Bruynooghe, Maurice [editor.] | Wirsing, Martin [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Logics in AI [electronic resource] : European Workshop JELIA'92 Berlin, Germany, September 7–10, 1992 Proceedings / edited by D. Pearce, G. Wagner.

by Pearce, D [editor.] | Wagner, G [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Logic Programming in Action [electronic resource] : Second International Logic Programming Summer School, LPSS '92 Zurich, Switzerland, September 7–11, 1992 Proceedings / edited by G. Comyn, N. E. Fuchs, M. J. Ratcliffe.

by Comyn, G [editor.] | Fuchs, N. E [editor.] | Ratcliffe, M. J [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Compiler Construction [electronic resource] : 4th International Conference, CC '92 Paderborn, FRG, October 5–7, 1992 Proceedings / edited by Uwe Kastens, Peter Pfahler.

by Kastens, Uwe [editor.] | Pfahler, Peter [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
MFDBS 91 [electronic resource] : 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems Rostock, Germany, May 6–9, 1991 Proceedings / edited by Bernhard Thalheim, János Demetrovics, H. -D. Gerhardt.

by Thalheim, Bernhard [editor.] | Demetrovics, János [editor.] | Gerhardt, H. -D [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Database Theory — ICDT '92 [electronic resource] : 4th International Conference Berlin, Germany, October 14–16, 1992 Proceedings / edited by Joachim Biskup, Richard Hull.

by Biskup, Joachim [editor.] | Hull, Richard [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Meta-Programming in Logic [electronic resource] : Third International Workshop, META-92 Uppsala, Sweden, June 10–12, 1992 Proceedings / edited by A. Pettorossi.

by Pettorossi, A [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Automata, Languages and Programming [electronic resource] : 18th International Colloquium Madrid, Spain, July 8–12, 1991 Proceedings / edited by Javier Leach Albert, Burkhard Monien, Mario Rodríguez Artalejo.

by Albert, Javier Leach [editor.] | Monien, Burkhard [editor.] | Artalejo, Mario Rodríguez [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 510Source: 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): .

Place hold Log in to add tags
E-BOOKS
Conditional Term Rewriting Systems [electronic resource] : Third International Workshop, CTRS-92 Point-à-Mousson, France, July 8–10 1992 Proceedings / edited by Michaël Rusinowitch, Jean-Luc Rémy.

by Rusinowitch, Michaël [editor.] | Rémy, Jean-Luc [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Nonmonotonic and Inductive Logic [electronic resource] : Second International Workshop Reinhardsbrunn Castle, Germany December 2–6, 1991 Proceedings / edited by Gerhard Brewka, Klaus P. Jantke, Peter H. Schmitt.

by Brewka, Gerhard [editor.] | Jantke, Klaus P [editor.] | Schmitt, Peter H [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Conditional and Typed Rewriting Systems [electronic resource] : 2nd International CTRS Workshop Montreal, Canada, June 11–14, 1990 Proceedings / edited by S. Kaplan, M. Okada.

by Kaplan, S [editor.] | Okada, M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 516Source: 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): .

Place hold Log in to add tags
E-BOOKS
Instantiation Theory [electronic resource] : On the Foundations of Automated Deduction / by James G. Williams.

by Williams, James G [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lectures Notes in Artificial Intelligence ; 518Source: 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): .

Place hold Log in to add tags
E-BOOKS
Word Equations and Related Topics [electronic resource] : Second International Workshop, IWWERT '91 Rouen, France, October 7–9, 1991 Proceedings / edited by Habib Abdulrab, Jean-Pierre Pécuchet.

by Abdulrab, Habib [editor.] | Pécuchet, Jean-Pierre [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Resolution Methods for the Decision Problem [electronic resource] / edited by C. Fermüller, A. Leitsch, T. Tammet, N. Zamov.

by Fermüller, C [editor.] | Leitsch, A [editor.] | Tammet, T [editor.] | Zamov, N [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Types for Proofs and Programs [electronic resource] : International Workshop TYPES '94 Båstad, Sweden, June 6–10, 1994 Selected Papers / edited by Peter Dybjer, Bengt Nordström, Jan Smith.

by Dybjer, Peter [editor.] | Nordström, Bengt [editor.] | Smith, Jan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 996Source: 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): .

Place hold Log in to add tags
E-BOOKS
Logic Programming and Automated Reasoning [electronic resource] : 4th International Conference, LPAR'93 St. Petersburg, Russia, July 13–20, 1993 Proceedings / edited by Andrei Voronkov.

by Voronkov, Andrei [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Computer Science Logic [electronic resource] : 6th Workshop, CSL '92 San Miniato, Italy, September 28 – October 2, 1992 Selected Papers / edited by E. Börger, G. Jäger, H. Kleine Büning, S. Martini, M. M. Richter.

by Börger, E [editor.] | Jäger, G [editor.] | Kleine Büning, H [editor.] | Martini, S [editor.] | Richter, M. M [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Computational Logic and Proof Theory [electronic resource] : Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24–27, 1993 Proceedings / edited by Georg Gottlob, Alexander Leitsch, Daniele Mundici.

by Gottlob, Georg [editor.] | Leitsch, Alexander [editor.] | Mundici, Daniele [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Progamming Language Implementation and Logic Programming [electronic resource] : 5th International Symposium, PLILP '93 Tallinn, Estonia, August 25–27, 1993 Proceedings / edited by Maurice Bruynooghe, Jaan Penjam.

by Bruynooghe, Maurice [editor.] | Penjam, Jaan [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha