Treffer 1 - 20 von 26 für Suche 'Aït-Kaci, Hassan', Suchdauer: 0,42s Treffer weiter einschränken
  1. 1
    von Ait-Kaci, Hassan
    Veröffentlicht 1984
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Warren's abstract machine : a tutorial reconstruction
    von Aït-Kaci, Hassan
    Veröffentlicht 1991
    UnknownFormat

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

    Zu den Favoriten
    Gespeichert in:
  4. 4
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  5. 5
    von Aït-Kaci, Hassan
    Veröffentlicht 1984
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Warren's abstract machine : a tutorial reconstruction
    von Aït-Kaci, Hassan
    Veröffentlicht 1991
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Veröffentlicht 19
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  8. 8
    von Aït-Kaci, Hassan
    Veröffentlicht 1985
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  9. 9
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Rewriting Techniques : resolution of equations in algebraic structures
    Veröffentlicht 1989
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Residuation : a paradigm for integrating logic and functional programming
    von Aït-Kaci, Hassan
    Veröffentlicht 1986
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Login : a logic programming language with built-in inheritance
    von Aït-Kaci, Hassan
    Veröffentlicht 1985
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  13. 13
    von Ai͏̈t-Kaci, Hassan
    Veröffentlicht 1991
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  14. 14
    von Ai͏̈t-Kaci, Hassan
    Veröffentlicht 1992
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Rewriting Techniques : resolution of equations in algebraic structures
    Veröffentlicht 1989
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Rewriting techniques
    Veröffentlicht 1989
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  17. 17
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Algebraic techniques
    Veröffentlicht 1989
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  19. 19
    LeFun : logic, equations, and functions
    von Aït-Kaci, Hassan
    Veröffentlicht 1986
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  20. 20
    An encoding technique for the efficient implementation of type inheritance
    von Aït-Kaci, Hassan
    Veröffentlicht 1985
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: