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

نتائج البحث

Display Settings
النتائج لكل صفحة: 10
Sort By: Relevance
Filter
  • 1-4 ل  4 نتائج ل ""formal description""

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

Collection : Hal Clermont Auvergne (Universite Blaise Pascal Clermont-Ferrand / Universite D'auvergne)
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

Verbs and particles in minimal answers to yes-no questions in Czech

Subjects: yes-no questions; polarity; answering particlesLeipzig; Germany

  • Source: Formal Description of Slavic Languages 10 ; https://uca.hal.science/hal-00911083 ; Formal

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

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

A Unifying Framework for Agency in Hypermedia Environments

Subjects: Semantic Web; Linked Data; HypermediaVirtual Event; France

  • Source: Engineering Multi-Agent Systems ; 9th International Workshop, EMAS 2021 ; https://hal-emse.ccsd.cnrs.fr/emse-03609291 ; 9th International Workshop, EMAS 2021, May 2021, Virtual Event, France.

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

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

Optimal Process Mining of Timed Event Logs

Subjects: process mining; event log; time modeling

  • Source: ISSN: 0020-0255 ; Information Sciences ; https://hal-emse.ccsd.cnrs.fr/emse-03128586 ; Information Sciences, 2020, 528, pp.58-78. ⟨10.1016/j.ins.2020.04.020⟩.

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

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

Formal Security Analysis of Traditional and Electronic Exams

Subjects: [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]

  • Source: ISSN: 1865-0929 ; Communications in Computer and Information Science ; https://hal.science/hal-01337412 ; Communications in Computer and Information Science, 2015,

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

اقرأ أكثر حفظ في قائمتي
×
  • 1-4 ل  4 نتائج ل ""formal description""