يعرض 1 - 1 نتائج من 1 نتيجة بحث عن '"Govindasamy, Nashlen"', وقت الاستعلام: 0.70s تنقيح النتائج
  1. 1
    مؤتمر
    Simple Hard Instances for Low-Depth Algebraic Proofs

    المؤلفون: Govindasamy, Nashlen, Hakoniemi, Tuomas, Tzameret, Iddo

    المصدر: 2022 IEEE 63rd Annual Symposium on Foundations of Computer Science (FOCS) FOCS Foundations of Computer Science (FOCS), 2022 IEEE 63rd Annual Symposium on. :188-199 Oct, 2022

    Relation: 2022 IEEE 63rd Annual Symposium on Foundations of Computer Science (FOCS)

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