مشخصات کتاب

Using Sophisticated Models in Resolution Theorem Proving

ویرایش: 1 
نویسندگان: David M. Sandford (eds.)  
سری: Lecture Notes in Computer Science 90 
ISBN (شابک) : 3540102310, 9783540102311 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 1980 
تعداد صفحات: 247 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 1 مگابایت 

کلمات کلیدی مربوط به کتاب استفاده از مدل های پیچیده در اثبات قضیه تفکیک پذیری: منطق ریاضی و زبان های رسمی

در صورت تبدیل فایل کتاب Using Sophisticated Models in Resolution Theorem Proving به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب استفاده از مدل های پیچیده در اثبات قضیه تفکیک پذیری نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی درمورد کتاب به خارجی

فهرست مطالب

Chapter 1 Introduction....Pages 1-11
Chapter 2 Hereditary lock resolution....Pages 12-80
Chapter 3 Completeness of HL-resolution....Pages 81-113
Chapter 4 Models....Pages 114-206
Chapter 5 Discussion of HLR....Pages 207-228

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Lonely Planet Pocket Bath, Bristol and the Southwest

دانلود کتاب Chemistry: The Central Science, 12th Edition

دانلود کتاب Brick & Mortar Shopping in the 21st Century

دانلود کتاب Cours d'analyse : Vol. 1

دانلود کتاب Looking within, looking without : exploring households in the subcontinent through time : essays in memory of Nandita Prasad Sahai