يعرض 1 - 1 نتائج من 1 نتيجة بحث عن '"de Lamarliere, Paul Geneau"', وقت الاستعلام: 1.00s تنقيح النتائج
  1. 1
    مؤتمر
    Slimmer Formal Proofs for Mathematical Libraries

    المؤلفون: de Lamarliere, Paul Geneau, Melquiond, Guillaume, Faissole, Florian

    المصدر: 2023 IEEE 30th Symposium on Computer Arithmetic (ARITH) ARITH Computer Arithmetic (ARITH), 2023 IEEE 30th Symposium on. :32-35 Sep, 2023

    Relation: 2023 IEEE 30th Symposium on Computer Arithmetic (ARITH)

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