دانلود کتاب Logic for computer science: foundations of automatic theorem proving
منطق علوم کامپیوتر: مبانی اثبات قضیه خودکار
زبان : English
نویسندگان : Jean H. Gallier
ناشر : Longman Higher Education
سال انتشار : 1986
ISBN (شابک) : 9780060422257, 0060422254
ویرایش : [Vol.12, 1 ed.]
سری : Harper & Row computer science and technology series
تعداد صفحات : 534
حجم : 2 مگابایت
فرمت کتاب : pdf
قیمت : 36000 تومان