دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Extensions of Logic Programming: 5th International Workshop, ELP '96 Leipzig, Germany, March 28–30, 1996 Proceedings
دانلود کتاب افزونه های برنامه نویسی منطقی: پنجمین کارگاه بین المللی، ELP '96 لایپزیگ، آلمان، 28 تا 30 مارس 1996 مجموعه مقالات
مشخصات کتاب
Extensions of Logic Programming: 5th International Workshop, ELP '96 Leipzig, Germany, March 28–30, 1996 Proceedings
ویرایش: [1 ed.] نویسندگان: Martin Argenius, Andrei Voronkov (auth.), Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister (eds.) سری: Lecture Notes in Computer Science 1050 : Lecture Notes in Artificial Intelligence ISBN (شابک) : 3540609830, 9783540609834 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1996 تعداد صفحات: 322 [310] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 Mb
قیمت کتاب (تومان) : 50,000
در صورت تبدیل فایل کتاب Extensions of Logic Programming: 5th International Workshop, ELP '96 Leipzig, Germany, March 28–30, 1996 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب افزونه های برنامه نویسی منطقی: پنجمین کارگاه بین المللی، ELP '96 لایپزیگ، آلمان، 28 تا 30 مارس 1996 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب افزونه های برنامه نویسی منطقی: پنجمین کارگاه بین المللی، ELP '96 لایپزیگ، آلمان، 28 تا 30 مارس 1996 مجموعه مقالات
این کتاب مجموعه مقالات داوری پنجمین کارگاه بین‌المللی توسعه
برنامه‌نویسی منطقی، ELP '96، برگزار شده در لایپزیگ، آلمان در
مارس 1996 است.
18 مقاله کامل ارائه شده توسط کمیته برنامه با دقت انتخاب
شده‌اند و همراه با سه مقاله دعوت شده ارائه شد. از جمله
موضوعاتی که در این کتاب به آنها پرداخته می شود، برنامه نویسی
منطقی طبقه بندی شده، صحت برنامه های منطقی، زبان های
تابعی-منطقی، مسائل پیاده سازی، برنامه نویسی منطق خطی، استدلال
غیر یکنواخت و جستجوی اثبات است.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 5th
International Workshop on Extensions of Logic Programming,
ELP '96, held in Leipzig, Germany in March 1996.
The 18 full papers included were carefully selected by the
program committee and are presented together with three
invited papers. Among the topics addressed in this book are
categorical logic programming, correctness of logic programs,
functional-logic languages, implementation issues, linear
logic programming, nonmonotonic reasoning, and proof search.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Plagues and Epidemics: Infected Spaces Past and Present (Wenner Gren International Symposium Series)
دانلود کتاب Progress in Neurology and Psychiatry. An Annual Review
دانلود کتاب Attacco dal mare
