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