يعرض 1 - 4 نتائج من 4 نتيجة بحث عن 'Dershowitz, Nachum', وقت الاستعلام: 0.01s تنقيح النتائج
  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.
    كتاب
    بواسطة Dershowitz, Nachum
    أضف إلى المفضلة
    محفوظ في:
  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 – أرسل هذا البحث بالبريد الإلكتروني