Mostra 1 - 4 risultati di 4 ricerca 'Dershowitz, Nachum', tempo di risposta: 0,01s Raffina i risultati
  1. 1
    The evolution of programs /
    Libro
    di Dershowitz, Nachum
    Pubblicazione 1983
    Aggiungi alla lista
    Salvato in:
  2. 2
    The evolution of programs : a system for automatic program modification / Nachum Dershowitz and Zohar Manna.
    Libro
    Aggiungi alla lista
    Salvato in:
  3. 3
    Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings /
    Atti del Convegno Libro
    Pubblicazione 1989
    Altri autori: “...Dershowitz, Nachum...”
    Aggiungi alla lista
    Salvato in:
  4. 4
    Conditional and typed rewriting systems : 4th international workshop, CTRS-94, Jerusalem, Israel, July 1994 : proceedings /
    Atti del Convegno Libro
    Pubblicazione 1995
    Altri autori: “...Dershowitz, Nachum...”
    Aggiungi alla lista
    Salvato in:
Strumenti per la ricerca: Feed RSS – Invia questa ricerca per email