作者 Hélène Kirchner 的书籍 - BookPine

Algebraic Methodology and Software Technology: 9th International Conference, Amast 2002, Saint-Gilles-Les- Bains, Reunion Island, France, September 9-

Algebraic Methodology and Software Technology: 9th International Conference, Amast 2002, Saint-Gilles-Les- Bains, Reunion Island, France, September 9-

Hélène Kirchner

Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday

Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday

Hélène Kirchner

Algebraic Methodology and Software Technology: 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September ...

Algebraic Methodology and Software Technology: 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September ...

Hélène Kirchner

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

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

Claude Kirchner

Trees in Algebra and Programming - CAAP '96: 21st International Colloquium, Linköping, Sweden, April 22-24, 1996. Proceedings

Trees in Algebra and Programming - CAAP '96: 21st International Colloquium, Linköping, Sweden, April 22-24, 1996. Proceedings

Hélène Kirchner

Algebraic and Logic Programming: Third International Conference, Volterra, Italy, September 2-4, 1992: Proceedings

Algebraic and Logic Programming: Third International Conference, Volterra, Italy, September 2-4, 1992: Proceedings

Hélène Kirchner

Algebraic and Logic Programming: Third International Conference, Pisa, Italy, September 2-4, 1992 : Proceedings

Algebraic and Logic Programming: Third International Conference, Pisa, Italy, September 2-4, 1992 : Proceedings

Hélène Kirchner

Algebraic and Logic Programming: Second International Conference, Nancy, France, October 1-3, 1990. Proceedings

Algebraic and Logic Programming: Second International Conference, Nancy, France, October 1-3, 1990. Proceedings

Hélène Kirchner