Helene Kirchner – författare

Visar alla böcker från författaren Helene Kirchner.

7 produkter

1. 

   Algebraic Methodology and Software Technology

   9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings

   Av Helene Kirchner, Christophe Ringeissen

   Häftad, 2002

   709 kr

   Lägg i varukorg

2. 

   Algebraic and Logic Programming

   Second International Conference, Nancy, France, October 1-3, 1990. Proceedings

   Av Helene Kirchner, Wolfgang Wechler

   Häftad, 1990

   729 kr

   Lägg i varukorg

3. 

   Algebraic and Logic Programming

   Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings

   Av Helene Kirchner, Giorgio Levi

   Häftad, 1992

   729 kr

   Lägg i varukorg

4. 

   Trees in Algebra and Programming - CAAP '96

   21st International Colloquium, Linköping, Sweden, April 22-24, 1996. Proceedings

   Av Helene Kirchner

   Häftad, 1996

   729 kr

   Lägg i varukorg

5. 

   Automated Deduction - CADE-15

   15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings

   Av Claude Kirchner, Helene Kirchner

   Häftad, 1998

   729 kr

   Lägg i varukorg

6. 

   Frontiers of Combining Systems

   Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedings

   Av Helene Kirchner, Christophe Ringeissen

   Häftad, 2000

   709 kr

   Lägg i varukorg

7. 

   Rewriting, Computation and Proof

   Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday

   Av Hubert Comon-Lundh, Claude Kirchner m. fl.

   Häftad, 2007

   729 kr

   Lägg i varukorg