AboutSign inJoin

Helene Kirchner

About

Some information is missing for this author.

Books

Algebraic Methodology and Software Technology
Algebraic Methodology and Software Technology
Helene Kirchner, Christophe Ringeissen
Claude Kirchner, Helene Kirchner
Automated Deduction - CADE-15
15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings
Automated Deduction - CADE-15
Claude Kirchner, Helene Kirchner
Algebraic and Logic Programming
Algebraic and Logic Programming
Helene Kirchner, Wolfgang Wechler
Algebraic Methodology and Software Technology
Algebraic Methodology and Software Technology
Helene Kirchner, Christophe Ringeissen

Join the club

Track what you're reading, see what your friends are into and explore the ideas of the world's greatest authors together.

Download on the App StoreDownload on the Google Play Store
... or sign up right here
Company
  • About
  • Partners
  • Careers
  • Press
  • Legal
  • Privacy
Social
  • Twitter
  • Instagram
  • Facebook
  • TikTok
Support
  • FAQ
  • Changelog
  • Feature ideas
  • API
  • Widget
  • Contact
App
  • iPhone app
  • Android app
Help us
  • Become a Patron
  • Become a Librarian