يعرض 1 - 2 نتائج من 2 نتيجة بحث عن 'Lee, Richard Char-Tung', وقت الاستعلام: 0.01s تنقيح النتائج
  1. 1
    Symbolic logic and mechanical theorem proving /
    بواسطة Chang, Chin-lidng
    منشور في 1973
    مؤلفون آخرون: “...Lee, Richard Char-tung...”
  2. 2
    Symbolic, logic and mechanical theorem proving
    بواسطة Chang, Chin-Liang
    منشور في 1973
    مؤلفون آخرون: “...Lee, Richard Char-Tung...”
    Printed Book
أدوات البحث: أحصل على تغذية RSS — أرسل هذا البحث بالبريد الإلكتروني