يعرض 1 - 1 نتائج من 1 نتيجة بحث عن 'Carlos Olarte (23277139)', وقت الاستعلام: 0.00s تنقيح النتائج
  1. 1
    Mechanizing Focused Linear Logic in Coq

    Mechanizing Focused Linear Logic in Coq حسب Bruno Xavier (23277136)

    منشور في 2018
    مؤلفون آخرون: "…Carlos Olarte (23277139)…"
    أضف إلى المفضلة
    محفوظ في:

أدوات البحث: