افتح القائمة الرئيسية
الصفحة الرئيسية
عشوائي
دخول
الإعدادات
حول Marefa data
إخلاء مسؤولية
Marefa data
بحث
(Q1195019)
راقب
بيانات
Wikidata item
الإنجليزية
Q975734
٠ مرجع
named after
الإنجليزية
هاسكل كاري
١ مراجع
Imported from Wikidata item
الإنجليزية
Q975734
ويليام آلفين هوارد
١ مراجع
Imported from Wikidata item
الإنجليزية
Q975734
Freebase ID
الإنجليزية
/m/01lqbf
١ مراجع
Imported from Wikidata item
الإنجليزية
Q975734
Stack Exchange tag
الإنجليزية
https://stackoverflow.com/tags/curry-howard
١ مراجع
Imported from Wikidata item
الإنجليزية
Q975734
Microsoft Academic ID
الإنجليزية
85343465
١ مراجع
Imported from Wikidata item
الإنجليزية
Q975734
instance of
الإنجليزية
مفهوم رياضي
١ مراجع
Imported from Wikidata item
الإنجليزية
Q975734
وصلات الموقع
Marefa
(٠ : لا وصلات)
عدِّل
ويكيبيديا
(١ وصلة واحدة)
عدِّل
enwiki
Curry–Howard correspondence