Your search returned 7 results.

Not what you expected? Check for suggestions

Results
	1.	Algebraic Methodology and Software Technology 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 Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	2.	Frontiers of Combining Systems 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 Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	3.	Algebraic and Logic Programming Second International Conference Nancy, France, October 1-3, 1990 Proceedings / edited by Hélène Kirchner, Wolfgang Wechler. by Kirchner, Hélène Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	4.	Algebraic and Logic Programming Third International Conference Volterra, Italy, September 2-4, 1992 Proceedings / edited by Hélène Kirchner, Giorgio Levi. by Kirchner, Hélène Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	5.	Trees in Algebra and Programming - CAAP '96 21st International Colloquium Linköping, Sweden, April 22-24, 1996 Proceedings / edited by Hélène Kirchner. by Kirchner, Hélène Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	6.	Automated Deduction - CADE-15 15th International Conference on Automated Deduction Lindau, Germany, July 5-10, 1998 Proceedings / edited by Claude Kirchner, Hélène Kirchner. by Kirchner, Claude Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	7.	Rewriting, Computation and Proof 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 Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

© International Center for Chemical and Biological Sciences (ICCBS) Libraries, 2011. All rights reserved.