خرید و دانلود نسخه کامل کتاب Automated Proof Search in Non-Classical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics [PhD Thesis]

قیمت اصلی 123,000 تومان بود.قیمت فعلی 92,000 تومان است.

تعداد فروش: 51

عنوان فارسی	جستجوی خودکار اثبات در منطق های غیر کلاسیک: روش های اثبات ماتریسی کارآمد برای منطق های معین و شهودی [پایان نامه دکتری]
عنوان اصلی	Automated Proof Search in Non-Classical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics [PhD Thesis]
ناشر	The MIT Press
نویسنده	Lincoln A. Wallen
ISBN	0262231441
سال نشر	1990
زبان	English
تعداد صفحات	252
دسته	منطق
فرمت کتاب	PDF – قابل تبدیل به سایر فرمت ها
حجم فایل	2 مگابایت

1 آیتم فروخته شده در 55 دقیقه

افزودن به علاقه مندی

4 نفر در حال مشاهده این محصول هستند!

دسته: ریاضیات و آمار, منطق

توضیحات
نظرات (0)

توضیحات

آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.

نظرات (0)

نقد و بررسی‌ها

هنوز بررسی‌ای ثبت نشده است.

اولین کسی باشید که دیدگاهی می نویسد “خرید و دانلود نسخه کامل کتاب Automated Proof Search in Non-Classical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics [PhD Thesis]”

خرید و دانلود نسخه کامل کتاب Automated Proof Search in Non-Classical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics [PhD Thesis]

﻿﻿جستجوی خودکار اثبات در منطق های غیر کلاسیک: روش های اثبات ماتریسی کارآمد برای منطق های معین و شهودی [پایان نامه دکتری]

نقد و بررسی‌ها

اعتماد شما افتخار ماست

خرید و دانلود نسخه کامل کتاب Automated Proof Search in Non-Classical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics [PhD Thesis]

جستجوی خودکار اثبات در منطق های غیر کلاسیک: روش های اثبات ماتریسی کارآمد برای منطق های معین و شهودی [پایان نامه دکتری]