Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

نتائج البحث

Display Settings
النتائج لكل صفحة: 10
Sort By: Relevance
Filter
  • 1-2 of  2 نتائج ل ""Antonelli, Melissa""

فلترة النتائج

Subject : [info.info-lo]computer science [cs]/logic in computer science [cs.lo] فلترة بواسطة : مؤلف
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Book

On Measure Quantifiers in First-Order Arithmetic

Subjects: Probabilistic computation; Peano; Arithmetic

  • Source: Proceedings of CIE 2021 ; https://inria.hal.science/hal-03346804 ; Proceedings of CIE 2021, pp.12-24, 2021, ⟨10.1007/978-3-030-80049-9_2⟩

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Book

On Measure Quantifiers in First-Order Arithmetic

Subjects: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

  • Source: Proceedings of CIE 2021 ; https://hal.inria.fr/hal-03346804 ; Proceedings of CIE 2021, pp.12-24, 2021, ⟨10.1007/978-3-030-80049-9_2⟩

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
  • 1-2 of  2 نتائج ل ""Antonelli, Melissa""