Prikaz rezultata 1 – 4 od 4 za pretraživanje 'Dershowitz, Nachum', vrijeme pretraživanja: 0,01s Detaljiziraj rezultate
  1. 1
    The evolution of programs /
    Knjiga
    od Dershowitz, Nachum
    Izdano 1983
    Spremi u popis
    Spremljeno u:
  2. 2
    The evolution of programs : a system for automatic program modification / Nachum Dershowitz and Zohar Manna.
    Knjiga
    Spremi u popis
    Spremljeno u:
  3. 3
    Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings /
    Izvještaj sastanka Knjiga
    Izdano 1989
    Daljnji autori: “…Dershowitz, Nachum…”
    Spremi u popis
    Spremljeno u:
  4. 4
    Conditional and typed rewriting systems : 4th international workshop, CTRS-94, Jerusalem, Israel, July 1994 : proceedings /
    Izvještaj sastanka Knjiga
    Izdano 1995
    Daljnji autori: “…Dershowitz, Nachum…”
    Spremi u popis
    Spremljeno u:
Alati za pretraživanje: Preuzmi RSS sažetak – Pošalji ovo pretraživanje e-poštom