Treffer 1 - 20 von 28 für Suche 'Kirchner, Helene', Suchdauer: 0,41s Treffer weiter einschränken
  1. 1
    von Kirchner, Hélène
    Veröffentlicht 1991
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Algebraic and logic programming : third international conference, Volterra, Italy, September 2 - 4, 1992 ; proceedings
    Veröffentlicht 1992
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  3. 3
    von Kirchner, Hélène
    Veröffentlicht 1991
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Algebraic and logic programming : second international conference, Nancy, France, October 1 - 3, 1990 ; proceedings
    Veröffentlicht 1990
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  5. 5
    von Kirchner, Claude
    Veröffentlicht 1981
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  6. 6
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  7. 7
    von Kirchner, Claude
    Veröffentlicht 1984
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  8. 8
    von Jouannaud, Jean-Pierre
    Veröffentlicht 1984
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Trees in algebra and programming : proceedings
    Veröffentlicht 1996
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Trees in algebra and programming - CAAP '96 : 21st international colloquium, Linköping, Sweden, April 22 - 24, 1996 ; proceedings
    Veröffentlicht 1996
    Cover
    Publisher description
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Frontiers of combining systems : third international workshop, FroCoS 2000, Nancy, France, March 2000 ; proceedings
    Veröffentlicht 2000
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Frontiers of combining systems : third International Workshop, Nancy, France, March 22 - 24, 2000 ; proceedings
    Veröffentlicht 2000
    Einführung/Vorwort
    Inhaltsverzeichnis
    Cover
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Frontiers of combining systems : third international workshop , Nancy, France, March 22 - 24, 2000 ; proceedings
    Veröffentlicht 2000
    Vorwort
    Cover
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Trees in algebra and programming : CAAP '96 : 21st international colloquium Linköping, Sweden, April 22 - 24, 1996 ; proceedings
    Veröffentlicht 1996
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Frontiers of combining systems : third international workshop ; proceedings
    Veröffentlicht 2000
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  16. 16
    von Hintermeier, Claus
    Veröffentlicht 1994
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Algebraic methodology and software technology : 9th international conference ; proceedings
    Veröffentlicht 2002
    Kapitel
    Inhaltsverzeichnis
    Buchumschlag
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Algebraic methodology and software technology : 9th international conference ; proceedings
    Veröffentlicht 2002
    Cover
    Kapitel 1
    Inhaltsverzeichnis
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Algebraic methodology and software technology : 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9 - 13, 2002 ; proceedings
    Veröffentlicht 2002
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Rewriting, computation and proof : essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday
    Veröffentlicht 2007
    Inhaltsverzeichnis
    Cover
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: