ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Logic programming : proceedings of the 1999 International Conference on Logic Programming

دانلود کتاب برنامه نویسی منطقی: مجموعه مقالات کنفرانس بین المللی برنامه نویسی منطقی در سال 1999

Logic programming : proceedings of the 1999 International Conference on Logic Programming

مشخصات کتاب

Logic programming : proceedings of the 1999 International Conference on Logic Programming

ویرایش:  
نویسندگان:   
سری:  
ISBN (شابک) : 9780262291118, 0262291118 
ناشر: MIT 
سال نشر: 2000 
تعداد صفحات: 632 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 95 مگابایت

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



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

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


در صورت تبدیل فایل کتاب Logic programming : proceedings of the 1999 International Conference on Logic Programming به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


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



فهرست مطالب


 Content: Declarative Programming for a Messy World / Fernando Pereira --
 Logics and Database Modeling / Bernhard Thalheim --
 Adventures in the Prolog Trade / Ken Bowen --
 Answer Set Planning / Vladimir Lifschitz --
 Logic Programming in Oz with Mozart / Peter Van Roy --
 Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor / Manuel V. Hermenegildo, Francisco Bueno and German Puebla / [et al.] --
 From Prolog and Zelda to ToonTalk / Ken Kahn --
 Disjunctive Logic Programs with Inheritance / Francesco Buccafurri, Wolfgang Faber and Nicola Leone --
 Event, Property, and Hierarchy in Order-Sorted Logic / Ken Kaneiwa and Satoshi Tojo --
 Temporal Probabilistic Logic Programs / Alex Dekhtyar, Michael I. Dekhtyar and V. S. Subrahmanian --
 An Optimized Prolog Encoding of Typed Feature Structures / Gerald Penn --
 A Generic Approach to Monitor Program Executions / Erwan Jahier and Mireille Ducasse --
 Generating Deductive Database Explanations / Sarah Mallet and Mireille Ducasse.




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

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