دانلود کتاب Algebraic and Logic Programming: 4th International Conference, ALP ’94 Madrid, Spain, September 14–16, 1994 Proceedings (به فارسی: برنامه نویسی جبری و منطقی: چهارمین کنفرانس بین المللی، ALP ’94 مادرید، اسپانیا، 14 تا 16 سپتامبر 1994 مجموعه مقالات) نوشته شده توسط «Catuscia Palamidessi (auth.) – Giorgio Levi – Mario Rodríguez-Artalejo (eds.)»
اطلاعات کتاب برنامه نویسی جبری و منطقی: چهارمین کنفرانس بین المللی، ALP ’94 مادرید، اسپانیا، 14 تا 16 سپتامبر 1994 مجموعه مقالات
موضوع اصلی: جبر
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Catuscia Palamidessi (auth.) – Giorgio Levi – Mario Rodríguez-Artalejo (eds.)
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1994
تعداد صفحه: 314
حجم کتاب: 4 مگابایت
کد کتاب: 3540584315 , 9783540584315
نوبت چاپ: 1
توضیحات کتاب برنامه نویسی جبری و منطقی: چهارمین کنفرانس بین المللی، 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.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.