Hoppa till sidans huvudinnehåll

Helene Kirchner – författare

Visar alla böcker från författaren .
7 produkter
Helene Kirchner, Christophe Ringeissen - Algebraic Methodology and Software Technology, Häftad

Algebraic Methodology and Software Technology

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

AvHelene Kirchner,Christophe Ringeissen

Häftad, Engelska, 2002

709 kr

Skickas inom 10-15 vardagar

Helene Kirchner, Wolfgang Wechler - Algebraic and Logic Programming, Häftad

Algebraic and Logic Programming

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

AvHelene Kirchner,Wolfgang Wechler

Häftad, Engelska, 1990

729 kr

Skickas inom 10-15 vardagar

Helene Kirchner, Giorgio Levi - Algebraic and Logic Programming, Häftad

Algebraic and Logic Programming

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

AvHelene Kirchner,Giorgio Levi

Häftad, Engelska, 1992

729 kr

Skickas inom 10-15 vardagar

Helene Kirchner - Trees in Algebra and Programming - CAAP '96, Häftad

Trees in Algebra and Programming - CAAP '96

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

AvHelene Kirchner

Häftad, Engelska, 1996

729 kr

Skickas inom 10-15 vardagar

Claude Kirchner, Helene Kirchner - Automated Deduction - CADE-15, Häftad

Automated Deduction - CADE-15

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

AvClaude Kirchner,Helene Kirchner

Häftad, Engelska, 1998

729 kr

Skickas inom 10-15 vardagar

Helene Kirchner, Christophe Ringeissen - Frontiers of Combining Systems, Häftad

Frontiers of Combining Systems

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

AvHelene Kirchner,Christophe Ringeissen

Häftad, Engelska, 2000

709 kr

Skickas inom 10-15 vardagar

Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner - Rewriting, Computation and Proof, Häftad

Rewriting, Computation and Proof

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

AvHubert Comon-Lundh,Claude Kirchnerm. fl.

Häftad, Engelska, 2007

729 kr

Skickas inom 10-15 vardagar