Kirchner, Helene books & textbook
Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings (Lecture Notes in Computer Science, 1421)
Kirchner, Claude Kirchner, Helene
Springer /1998-06-24 Paperback / 464 Pages
isbn-10: 3540646752 / isbn-13: 9783540646754
Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday (Lecture Notes in Computer Science, 4600)
Comon-Lundh, Hubert Kirchner, Claude Kirchner, Hélène
Springer /2007-06-22 Paperback / 292 Pages
isbn-10: 3540731466 / isbn-13: 9783540731467
Frontiers of Combining Systems: Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedings (Lecture Notes in Computer Science, 1794)
Kirchner, Helene Ringeissen, Christophe
Springer /2000-03-15 Paperback / 308 Pages
isbn-10: 3540672818 / isbn-13: 9783540672814
Trees in Algebra and Programming - CAAP '96: 21st International Colloquium, Linköping, Sweden, April 22-24, 1996. Proceedings (Lecture Notes in Computer Science, 1059)
Springer /1996-04-03 Paperback / 344 Pages
isbn-10: 3540610642 / isbn-13: 9783540610649
Algebraic and Logic Programming: Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings (Lecture Notes in Computer Science, 632)
Kirchner, Helene Levi, Giorgio
Springer /1992-08-19 Paperback / 469 Pages
isbn-10: 354055873X / isbn-13: 9783540558736
Algebraic and Logic Programming: Second International Conference, Nancy, France, October 1-3, 1990. Proceedings (Lecture Notes in Computer Science, 463)
Kirchner, Helene Wechler, Wolfgang
Springer /1990-09-20 Paperback / 398 Pages
isbn-10: 3540531629 / isbn-13: 9783540531623
Algebraic Methodology and Software Technology: 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September ... (Lecture Notes in Computer Science, 2422)
Kirchner, Helene Ringeissen, Christophe
Springer /2002-08-26 Paperback / 520 Pages
isbn-10: 3540441441 / isbn-13: 9783540441441
