Mostrar 1 - 4 resultats de 4 per cerca 'Dershowitz, Nachum', hora de la petició: 0.01sec Refinar resultats
  1. 1
    The evolution of programs /
    Llibre
    per Dershowitz, Nachum
    Publicat 1983
    Afegir a favorits
    Guardat en:
  2. 2
    The evolution of programs : a system for automatic program modification / Nachum Dershowitz and Zohar Manna.
    Llibre
    Afegir a favorits
    Guardat en:
  3. 3
    Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings /
    Actes de congresos Llibre
    Publicat 1989
    Altres autors: “…Dershowitz, Nachum…”
    Afegir a favorits
    Guardat en:
  4. 4
    Conditional and typed rewriting systems : 4th international workshop, CTRS-94, Jerusalem, Israel, July 1994 : proceedings /
    Actes de congresos Llibre
    Publicat 1995
    Altres autors: “…Dershowitz, Nachum…”
    Afegir a favorits
    Guardat en:
Eines de cerca: Obtenir subscripció RSS – Enviar per correu electrònic aquesta cerca