Hoppa till sidans huvudinnehåll

Helene Kirchner - Böcker

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

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

689 kr

Skickas inom 10-15 vardagar

Algebraic and Logic Programming

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

AvHelene Kirchner,Wolfgang Wechler

Häftad, Engelska, 1990

709 kr

Skickas inom 10-15 vardagar

Algebraic and Logic Programming

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

AvHelene Kirchner,Giorgio Levi

Häftad, Engelska, 1992

709 kr

Skickas inom 10-15 vardagar

Trees in Algebra and Programming - CAAP '96

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

AvHelene Kirchner

Häftad, Engelska, 1996

709 kr

Skickas inom 10-15 vardagar

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

709 kr

Skickas inom 10-15 vardagar

Frontiers of Combining Systems

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

AvHelene Kirchner,Christophe Ringeissen

Häftad, Engelska, 2000

689 kr

Skickas inom 10-15 vardagar

Rewriting, Computation and Proof

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

AvHubert Comon-Lundh,Claude Kirchner,Hélène Kirchner

Häftad, Engelska, 2007

709 kr

Skickas inom 10-15 vardagar