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

Av Helene Kirchner, Christophe Ringeissen

Häftad, Engelska, 2002

709 kr

Skickas inom 10-15 vardagar

Algebraic and Logic Programming

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

Av Helene Kirchner, Wolfgang Wechler

Häftad, Engelska, 1990

729 kr

Skickas inom 10-15 vardagar

Algebraic and Logic Programming

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

Av Helene Kirchner, Giorgio Levi

Häftad, Engelska, 1992

729 kr

Skickas inom 10-15 vardagar

Trees in Algebra and Programming - CAAP '96

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

Av Helene Kirchner

Häftad, Engelska, 1996

729 kr

Skickas inom 10-15 vardagar

Automated Deduction - CADE-15

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

Av Claude Kirchner, Helene Kirchner

Häftad, Engelska, 1998

729 kr

Skickas inom 10-15 vardagar

Frontiers of Combining Systems

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

Av Helene Kirchner, Christophe Ringeissen

Häftad, Engelska, 2000

709 kr

Skickas inom 10-15 vardagar

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, Engelska, 2007

729 kr

Skickas inom 10-15 vardagar