يعرض 1 - 1 نتائج من 1 نتيجة بحث عن 'Cook, Stephen 1948-', وقت الاستعلام: 0.01s تنقيح النتائج
  1. 1

    Logical foundations of proof complexity حسب Cook, Stephen 1948-

    منشور في 2010
    كتاب

    Logical foundations of proof complexity

أدوات البحث: