منطق علوم کامپیوتر: پایه های اثبات قضیه خودکار Logic for computer science: foundations of automatic theorem proving

نوع فایل : کتاب
زبان : انگلیسی
نویسنده : Jean H. Gallier
ناشر : Longman Higher Education
چاپ و سال / کشور: 1986
شابک / ISBN : 9780060422257, 0060422254

اگر شما نسبت به این اثر یا عنوان محق هستید، لطفا از طریق "بخش تماس با ما" با ما تماس بگیرید و برای اطلاعات بیشتر، صفحه قوانین و مقررات را مطالعه نمایید.

دیدگاه کاربران

لطفا در این قسمت فقط نظر شخصی در مورد این عنوان را وارد نمایید و در صورتیکه مشکلی با دانلود یا استفاده از این فایل دارید در صفحه کاربری تیکت ثبت کنید.

(اختیاری)

تعداد کاراکتر مجاز: 1000