Treffer 1 - 20 von 25 für Suche 'Jouannaud, Jean-Pierre', Suchdauer: 0,30s Treffer weiter einschränken
  1. 1
    Functional programming languages and computer architecture : Nancy, France, September 16 - 19, 1985
    Veröffentlicht 1985
    UnknownFormat

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

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Veröffentlicht 1998
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  4. 4
    von Jouannaud, Jean Pierre
    Veröffentlicht 1977
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  5. 5
    von Jouannaud, Jean Pierre
    Veröffentlicht 1985
    Katalogkarte der UB Frankfurt
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Veröffentlicht 1992
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Rewriting techniques and applications
    Veröffentlicht 1987
    UnknownFormat

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

    Zu den Favoriten
    Gespeichert in:
  9. 9
    von Fernández, Maribel
    Veröffentlicht 1993
    UnknownFormat

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

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Constraints in computational logics : First International Conference, Munich, Germany, September 7 - 9, 1994; proceedings
    Veröffentlicht 1994
    Cover
    Inhaltstext
    Publisher description
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Constraints in computational logics : proceedings
    Veröffentlicht 1994
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Constraints in computational logics : first international conference, CCL '94, Munich, Germany, September 7 - 9, 1994 ; proceedings
    Veröffentlicht 1994
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Certified programs and proofs : First International Conference, CPP 2011, Kenting, Taiwan, December 7 - 9, 2011; proceedings
    Veröffentlicht 2011
    Inhaltstext
    Cover
    Inhaltstext
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  15. 15
    von Dershowitz, Nachum
    Veröffentlicht 1993
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  16. 16
    von Dershowitz, Nachum
    Veröffentlicht 1991
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  17. 17
    von Goguen, Joseph A.
    Veröffentlicht 1984
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  18. 18
    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:
  19. 19
    Algebra, meaning, and computation : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday
    Veröffentlicht 2006
    Inhaltstext
    Verlagsangaben
    Cover
    Inhaltsverzeichnis
    Einführung/Vorwort
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Rewriting techniques and applications : RTA ; 1. international conference, Dijon, France, May 20 - 22, 1985 ; proceedings
    Veröffentlicht 1985
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: