Résultat(s) 1 - 4 résultats de 4 pour la requête 'Dershowitz, Nachum', Temps de recherche: 0,01s Affiner les résultats
  1. 1
    The evolution of programs /
    Livre
    par Dershowitz, Nachum
    Publié 1983
    Ajouter aux favoris
    Enregistré dans:
  2. 2
    The evolution of programs : a system for automatic program modification / Nachum Dershowitz and Zohar Manna.
    Livre
    Ajouter aux favoris
    Enregistré dans:
  3. 3
    Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings /
    Actes de congrès Livre
    Publié 1989
    Autres auteurs: “…Dershowitz, Nachum…”
    Ajouter aux favoris
    Enregistré dans:
  4. 4
    Conditional and typed rewriting systems : 4th international workshop, CTRS-94, Jerusalem, Israel, July 1994 : proceedings /
    Actes de congrès Livre
    Publié 1995
    Autres auteurs: “…Dershowitz, Nachum…”
    Ajouter aux favoris
    Enregistré dans:
Outils de recherche: S'abonner aux flux RSS – Envoyer cette recherche par courriel