ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Computational Logic

دانلود کتاب منطق محاسباتی

Computational Logic

مشخصات کتاب

Computational Logic

ویرایش: 1st Edition 
نویسندگان:   
سری: Handbook of the History of Logic Volume 9 
ISBN (شابک) : 9780444516244 
ناشر: North Holland 
سال نشر: 2014 
تعداد صفحات: 718 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 7 مگابایت

قیمت کتاب (تومان) : 53,000



کلمات کلیدی مربوط به کتاب منطق محاسباتی: صفحه اصلی، کتاب و مجلات، ریاضیات، منطق، منطق محاسباتی



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 13


در صورت تبدیل فایل کتاب Computational Logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


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



فهرست مطالب

Content: 
CopyrightPage iv
Editorial NotePage viiJörg Siekmann, Dov Gabbay
ContributorsPages viii-xii
Computational LogicPages 15-30Jörg Siekmann
Logic and the development of the computerPages 31-38Martin Davis
What is a logical system? An evolutionary view: 1964–2014Pages 41-132Dov M. Gabbay
History of Interactive Theorem ProvingPages 135-214John Harrison, Josef Urban, Freek Wiedijk
Automation of Higher-Order LogicPages 215-254Christoph Benzmüller, Dale Miller
Equational Logic and RewritingPages 255-282Claude Kirchner, Hélène Kirchner
Possibilistic Logic — An OverviewPages 283-342Didier Dubois, Henri Prade
Computerising Mathematical TextPages 343-396Fairouz Kamareddine, Joe Wells, Christoph Zengler, Henk Barendregt
Concurrency Theory: A Historical Perspective on Coinduction and Process CalculiPages 399-442Jos C.M. Baeten, Davide Sangiorgi
Degrees of UnsolvabilityPages 443-494Klaus Ambos-Spies, Peter A. Fejer
Computational ComplexityPages 495-521Lance Fortnow, Steven Homer
Logic ProgrammingPages 523-569Robert Kowalski
Logic and Databases: A History of Deductive DatabasesPages 571-627Jack Minker, Dietmar Seipel, Carlo Zaniolo
Logics for Intelligent Agents and Multi-Agent SystemsPages 629-658John-Jules Ch. Meyer
Description LogicsPages 659-678Matthias Knorr, Pascal Hitzler
Logics for the Semantic WebPages 679-710Pascal Hitzler, Jens Lehmann, Axel Polleres
IndexPages 711-734




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

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی