Showing 1 - 4 results of 4 for search 'Dershowitz, Nachum', 查詢時間: 0.01s Refine Results
  1. 1
    The evolution of programs /
    圖書
    由 Dershowitz, Nachum
    出版 1983
    加到收藏夾
    Saved in:
  2. 2
    The evolution of programs : a system for automatic program modification / Nachum Dershowitz and Zohar Manna.
    圖書
    加到收藏夾
    Saved in:
  3. 3
    Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings /
    Conference Proceeding 圖書
    出版 1989
    其他作者: “...Dershowitz, Nachum...”
    加到收藏夾
    Saved in:
  4. 4
    Conditional and typed rewriting systems : 4th international workshop, CTRS-94, Jerusalem, Israel, July 1994 : proceedings /
    Conference Proceeding 圖書
    出版 1995
    其他作者: “...Dershowitz, Nachum...”
    加到收藏夾
    Saved in:
檢索工具: 得到RSS訂閱 – 推薦此搜索