نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
درباره پایگاه
ارتباط با ما
تاریخچه
ورود / ثبت نام
تعداد ۲ پاسخ غیر تکراری از ۳ پاسخ تکراری در مدت زمان ۱,۳۷ ثانیه یافت شد.
1. The Semantics and Proof Theory of the Logic of Bunched Implications
استناد
اطلاعات استناد دهی
BibTex (مخصوص کاربران)
RIS (مخصوص کاربران)
Endnote (مخصوص کاربران)
Refer (مخصوص کاربران)
Mark (مخصوص کاربران)
پدیدآورنده:
by David J. Pym.
کتابخانه:
مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی
(
قم
)
موضوع:
Computer science.,Logic.,Philosophy (General).
رده :
2. The semantics and proof theory of the logic of bunched implications
پدیدآورنده :
By David J. Pym
موضوع :
Logic, Symbolic and mathematical.
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
»
1
«
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد