نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
تعداد ۱ پاسخ غیر تکراری از ۱ پاسخ تکراری در مدت زمان ۶,۰۴ ثانیه یافت شد.
1. Generalized quantifiers and computation
استناد
اطلاعات استناد دهی
BibTex (مخصوص کاربران)
RIS (مخصوص کاربران)
Endnote (مخصوص کاربران)
Refer (مخصوص کاربران)
Mark (مخصوص کتابخانه ها)
پدیدآورنده :
Jouko Väänänen (ed.).
کتابخانه:
مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی
(
قم
)
موضوع :
Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Programming languages (Electronic computers), Congresses.
رده :
»
1
«
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد