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

نتائج البحث

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

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

Collection : Universite Grenoble Alpes Subject : 0101 mathematics Subject : 0102 computer and information sciences Subject : algebra Subject : business.industry Subject : mathematics Subject : probabilistic logic Subject : symbols فلترة بواسطة : موضوع
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

Untyping Typed Algebraic Structures and Colouring Proof Nets of Cyclic Linear Logic

Subjects: kleene algebra; typed algebra; residuated latticeBrno; Czech Republic

  • Source: Computer Science Logic ; https://hal.science/hal-00421158 ; Computer Science Logic, Aug 2010, Brno, Czech Republic. pp.484-498,

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

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

Probabilistic Analysis of Dynamic Scenes and Collision Risk Assessment to Improve Driving Safety

Subjects: Collision avoidance; Motion control; Probabilistic logic

  • Source: ISSN: 1024-8072 ; Its Journal ; https://inria.hal.science/hal-00645046 ; Its Journal, 2011, 3 (4), pp.4-19. ⟨10.1109/MITS.2011.942779⟩.

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

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