Helene Kirchner – författare

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

7 produkter

Kategorier

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
729 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
749 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
749 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
749 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
749 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
729 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 Kirchnerm. fl.
Häftad, Engelska, 2007
749 kr
Skickas inom 10-15 vardagar