Отображение 1 - 4 результаты of 4 для поиска 'Dershowitz, Nachum', время запроса: 0.01сек. Отмена результатов
  1. 1
    The evolution of programs /
    ‌
    по Dershowitz, Nachum
    Опубликовано 1983
    Добавить в Избранное
    Сохранить в:
  2. 2
    The evolution of programs : a system for automatic program modification / Nachum Dershowitz and Zohar Manna.
    ‌
    Добавить в Избранное
    Сохранить в:
  3. 3
    Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings /
    Материалы конференции ‌
    Опубликовано 1989
    Другие авторы: “...Dershowitz, Nachum...”
    Добавить в Избранное
    Сохранить в:
  4. 4
    Conditional and typed rewriting systems : 4th international workshop, CTRS-94, Jerusalem, Israel, July 1994 : proceedings /
    Материалы конференции ‌
    Опубликовано 1995
    Другие авторы: “...Dershowitz, Nachum...”
    Добавить в Избранное
    Сохранить в:
Инструменты поиска: RSS-поток – Отправить результаты поиска по Email