IMSc Library catalog › Results of search for 'ccl=su:"Computer science" and se:Lecture notes in computer science and su-to:Mathematical Logic and Formal Languages'

Your search returned 7 results.

Not what you expected? Check for suggestions

			Algebraic Methodology and Software Technology [electronic resource] : 9th International Conference, AMAST 2002 Saint-Gilles-les-Bains, Reunion Island, France September 9–13, 2002 Proceedings / edited by Hélène Kirchner, Christophe Ringeissen. by Kirchner, Hélène [editor.] \| Ringeissen, Christophe [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2422Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Frontiers of Combining Systems [electronic resource] : Third International Workshop, FroCoS 2000, Nancy, France, March 22-24, 2000. Proceedings / edited by Hélène Kirchner, Christophe Ringeissen. by Kirchner, Hélène [editor.] \| Ringeissen, Christophe [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1794Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Algebraic and Logic Programming [electronic resource] : Second International Conference Nancy, France, October 1–3, 1990 Proceedings / edited by Hélène Kirchner, Wolfgang Wechler. by Kirchner, Hélène [editor.] \| Wechler, Wolfgang [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 463Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; 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): . Place hold Log in to add tags
			Algebraic and Logic Programming [electronic resource] : Third International Conference Volterra, Italy, September 2–4, 1992 Proceedings / edited by Hélène Kirchner, Giorgio Levi. by Kirchner, Hélène [editor.] \| Levi, Giorgio [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 632Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; 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
			Trees in Algebra and Programming — CAAP '96 [electronic resource] : 21st International Colloquium Linköping, Sweden, April 22–24, 1996 Proceedings / edited by Hélène Kirchner. by Kirchner, Hélène [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1059Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; 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): . Place hold Log in to add tags
			Automated Deduction — CADE-15 [electronic resource] : 15th International Conference on Automated Deduction Lindau, Germany, July 5–10, 1998 Proceedings / edited by Claude Kirchner, Hélène Kirchner. by Kirchner, Claude [editor.] \| Kirchner, Hélène [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1421Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; 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): . Place hold Log in to add tags
			Rewriting, Computation and Proof [electronic resource] : Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday / edited by Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner. by Comon-Lundh, Hubert [editor.] \| Kirchner, Claude [editor.] \| Kirchner, Hélène [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4600Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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