دانلود کتاب Automated Proof Search in Non-classical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics [PhD Thesis]
by Lincoln A. Wallen|
|
عنوان فارسی: جستجوی خودکار اثبات در منطق های غیر کلاسیک: روش های اثبات ماتریسی کارآمد برای منطق های معین و شهودی [پایان نامه دکتری] |


دانلود کتاب

این کتاب رو مطالعه کردید؟ نظر شما چیست؟