دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Algebraic and Logic Programming: 4th International Conference, ALP '94 Madrid, Spain, September 14–16, 1994 Proceedings
دانلود کتاب برنامه نویسی جبری و منطقی: چهارمین کنفرانس بین المللی، ALP '94 مادرید، اسپانیا، 14 تا 16 سپتامبر 1994 مجموعه مقالات
مشخصات کتاب
Algebraic and Logic Programming: 4th International Conference, ALP '94 Madrid, Spain, September 14–16, 1994 Proceedings
ویرایش: [1 ed.] نویسندگان: Catuscia Palamidessi (auth.), Giorgio Levi, Mario Rodríguez-Artalejo (eds.) سری: Lecture Notes in Computer Science 850 ISBN (شابک) : 3540584315, 9783540584315 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1994 تعداد صفحات: 314 [313] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 Mb
قیمت کتاب (تومان) : 74,000
در صورت تبدیل فایل کتاب Algebraic and Logic Programming: 4th International Conference, ALP '94 Madrid, Spain, September 14–16, 1994 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب برنامه نویسی جبری و منطقی: چهارمین کنفرانس بین المللی، ALP '94 مادرید، اسپانیا، 14 تا 16 سپتامبر 1994 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب برنامه نویسی جبری و منطقی: چهارمین کنفرانس بین المللی، ALP '94 مادرید، اسپانیا، 14 تا 16 سپتامبر 1994 مجموعه مقالات
این جلد مجموعه مقالات چهارمین کنفرانس بین المللی برنامه نویسی
جبری و منطقی (ALP '94) است که در سپتامبر 1994 در مادرید،
اسپانیا برگزار شد.
مانند کنفرانس های قبلی در این مجموعه، ALP '94 نیز موفق به
تقویت شد. لقاح متقابل بین تکنیک های جبری و برنامه ریزی منطقی.
علاوه بر چکیدههای سه سخنرانی دعوتشده، این جلد شامل 17 مقاله
اصلاحشده کامل است که از بین 41 مقاله ارسالی انتخاب شدهاند.
مقالات در بخش هایی در مورد اثبات قضیه، محدود کردن، برنامه
نویسی منطقی، بازنویسی اصطلاح و برنامه نویسی مرتبه بالاتر
سازماندهی شده اند.
توضیحاتی درمورد کتاب به خارجی
This volume constitutes the proceedings of the Fourth
International Conference on Algebraic and Logic Programming
(ALP '94), held in Madrid, Spain in September 1994.
Like the predecessor conferences in this series, ALP '94
succeeded in strengthening the cross-fertilization between
algebraic techniques and logic programming. Besides abstracts
of three invited talks, the volume contains 17 full revised
papers selected from 41 submissions; the papers are organized
into sections on theorem proving, narrowing, logic
programming, term rewriting, and higher-order programming.
فهرست مطالب
Concurrent constraint programming....Pages 1-2
Specifications using multiple-conclusion logic programs....Pages 3-4
Viewing a program transformation system at work....Pages 5-5
Proving implications by algebraic approximation....Pages 6-22
Sufficient completeness and parameterized proofs by induction....Pages 23-40
Proving behavioural theorems with standard first-order logic....Pages 41-58
How to realize LSE narrowing....Pages 59-76
Compositional analysis for equational Horn programs....Pages 77-94
Equation solving in projective planes and planar ternary rings....Pages 95-113
From eventual to atomic and locally atomic CC programs: A concurrent semantics....Pages 114-132
Concurrent logic programming as uniform linear proofs....Pages 133-149
Three-valued completion for abductive logic programs....Pages 150-167
A sequential reduction strategy....Pages 168-185
On modularity of termination and confluence properties of conditional rewrite systems....Pages 186-203
Syntactical analysis of total termination....Pages 204-222
Logic programs as term rewriting systems....Pages 223-241
Higher-order minimal function graphs....Pages 242-252
Reasoning about layered, wildcard and product patterns....Pages 253-268
Preserving universal termination through unfold/fold....Pages 269-286
A logic for variable aliasing in logic programs....Pages 287-304
نظرات کاربران
کتاب های تصادفی
دانلود کتاب 1 & 2 Thessalonians Through the Centuries
دانلود کتاب Land of My Childhood: Stories from South Asia
دانلود کتاب Monster in the Box
