Calculus of constructions

در این صفحه تعداد 6 مقاله تخصصی درباره که در نشریه های معتبر علمی و پایگاه ساینس دایرکت (Science Direct) منتشر شده، نمایش داده شده است. برخی از این مقالات، پیش تر به زبان فارسی ترجمه شده اند که با مراجعه به هر یک از آنها، می توانید متن کامل مقاله انگلیسی همراه با ترجمه فارسی آن را دریافت فرمایید.
در صورتی که مقاله مورد نظر شما هنوز به فارسی ترجمه نشده باشد، مترجمان با تجربه ما آمادگی دارند آن را در اسرع وقت برای شما ترجمه نمایند.
مقالات ISI (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Elsevier - ScienceDirect - الزویر - ساینس دایرکت
Keywords: Logical frameworks; Foundation of mathematics; Automath; Set theory; Higher order logic; Type theory; Category theory; Zermelo–Fraenkel; ZF; ZFC; New foundations; NF; HOL; Isabelle; Calculus of constructions; Martin-Löf type theory; Formalization of mathe
دانلود رایگان متن کامل مقاله ISI 24 صفحه سال انتشار : 2006 سفارش ترجمه