مشخصات کتاب

Automation of Reasoning: 2: Classical Papers on Computational Logic 1967–1970

ویرایش: [1 ed.] 
نویسندگان: L. Wos,  L. Henschen (auth.),  Jörg H. Siekmann,  Graham Wrightson (eds.)  
سری: Symbolic Computation 
ISBN (شابک) : 9783642819575, 9783642819551 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 1983 
تعداد صفحات: 637
[640] 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 28 Mb 

در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد

در صورت تبدیل فایل کتاب Automation of Reasoning: 2: Classical Papers on Computational Logic 1967–1970 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب Automation of Reasoning: 2: Classical Papers on Computational Logic 1967-1970 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

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

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

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

دانلود کتاب Erwin-Riesch Arbeitstagung Systemanalyse biologischer Prozesse: 1. Ebernburger Gesprach Bad Munster am Stein-Ebernburg, 5.–7. April 1984

دانلود کتاب Applying Functional Programming Theory to the Design of Workflow Engines

دانلود کتاب The girl who just wanted to be loved: a damaged little girl and a foster carer who wouldn't give up

دانلود کتاب The two forms of subject inversion in modern French

دانلود کتاب Europe