يعرض 1 - 2 نتائج من 2 نتيجة بحث عن '"03F20, 03F40, 68Q15"', وقت الاستعلام: 0.78s تنقيح النتائج
  1. 1
    تقرير
    A proof complexity conjecture and the Incompleteness theorem

    المؤلفون: Krajicek, Jan

    مصطلحات موضوعية: Computer Science - Logic in Computer Science, Mathematics - Logic, 03F20, 03F40, 68Q15, F.1.3, F.4.1

    URL الوصول: http://arxiv.org/abs/2303.10637

    أضف إلى المفضلة
  2. 2
    مورد إلكتروني
    A proof complexity conjecture and the Incompleteness theorem

    مصطلحات الفهرس: Computer Science - Logic in Computer Science, Mathematics - Logic, 03F20, 03F40, 68Q15, F.1.3, F.4.1, text

    URL: http://arxiv.org/abs/2303.10637

    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS – أرسل هذا البحث بالبريد الإلكتروني – حفظ البحث – جدول التنبيهات: لا شيء