Item request has been placed!

Item request cannot be made.

Processing Request

نتائج البحث

Display Settings

النتائج لكل صفحة: 10

Sort By: Relevance

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

Subject : logique

إعادة تعيين خيارات الفبترة

Item request has been placed!

Item request cannot be made.

Processing Request

Dissertation/ Thesis

Computing with relations, functions, and bindings ; Calculer avec des relations, des fonctions et des lieurs

Authors : Gerard, Ulysse;

Subjects: Computation; Logic; Binders

Source: https://hal.science/tel-02414237 ; Logic in Computer Science [cs.LO]. Institut Polytechnique de Paris, 2019. English. ⟨NNT : 2019IPPAX005⟩.

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

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

Dissertation/ Thesis

Computing with relations, functions, and bindings ; Calculer avec des relations, des fonctions et des lieurs

Authors : Gerard, Ulysse;

Subjects: Computation; Logic; Binders

Source: https://hal.science/tel-02414237 ; Logic in Computer Science [cs.LO]. Institut Polytechnique de Paris, 2019. English. ⟨NNT : 2019IPPAX005⟩.

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

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

Dissertation/ Thesis

Computing with relations, functions, and bindings ; Calculer avec des relations, des fonctions et des lieurs

Authors : Gerard, Ulysse;

Subjects: Computation; Logic; Binders

Source: https://hal.archives-ouvertes.fr/tel-02414237 ; Logic in Computer Science [cs.LO]. Institut Polytechnique de Paris, 2019. English. ⟨NNT : 2019IPPAX005⟩.

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

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

Dissertation/ Thesis

Computing with relations, functions, and bindings ; Calculer avec des relations, des fonctions et des lieurs

Authors : Gerard, Ulysse;

Subjects: Computation; Logic; Binders

Source: https://hal.science/tel-02414237 ; Logic in Computer Science [cs.LO]. Institut Polytechnique de Paris, 2019. English. ⟨NNT : 2019IPPAX005⟩.

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

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