دانلود کتاب Algebraic and Logic Programming: International Workshop Gaussig, GDR, November 14–18, 1988 Proceedings (به فارسی: برنامه نویسی جبری و منطقی: کارگاه بین المللی Gaussig, GDR, 14-18 نوامبر 1988 مجموعه مقالات) نوشته شده توسط «J. A. Bergstra (auth.) – J. Grabowski – P. Lescanne – W. Wechler (eds.)»
اطلاعات کتاب برنامه نویسی جبری و منطقی: کارگاه بین المللی Gaussig, GDR, 14-18 نوامبر 1988 مجموعه مقالات
موضوع اصلی: جبر
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: J. A. Bergstra (auth.) – J. Grabowski – P. Lescanne – W. Wechler (eds.)
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1988
تعداد صفحه: 283
حجم کتاب: 4 مگابایت
کد کتاب: 3540506675 , 9783540506676
نوبت چاپ: 1
توضیحات کتاب برنامه نویسی جبری و منطقی: کارگاه بین المللی Gaussig, GDR, 14-18 نوامبر 1988 مجموعه مقالات
این جلد شامل مجموعه مقالات اولین کارگاه بین المللی برنامه نویسی جبری و منطقی است که در گاوسیگ (جمهوری دموکراتیک آلمان) از 14 تا 18 نوامبر 1988 برگزار شد. این کارگاه به برنامه نویسی جبری به معنای برنامه نویسی با مشخصات جبری اختصاص داشت. و سیستم‌های قوانین و برنامه‌نویسی منطقی را به معنای مشخصات بند هورن و سیستم‌های وضوح بازنویسی کنید. این شامل سیستم‌های برنامه‌نویسی جبری/منطقی ترکیبی، روابط متقابل و اجرای متقابل پارادایم‌های برنامه‌نویسی، ملاحظات کامل و کارایی در هر دو زمینه، و همچنین موضوعات مرتبط است.
This volume contains the proceedings of the First International Workshop on Algebraic and Logic Programming held in Gaussig (German Democratic Republic) from November 14 to 18, 1988. The workshop was devoted to Algebraic Programming, in the sense of programming by algebraic specifications and rewrite rule systems, and Logic Programming, in the sense of Horn clause specifications and resolution systems. This includes combined algebraic/logic programming systems, mutual relations and mutual implementation of programming paradigms, completeness and efficiency considerations in both fields, as well as related topics.
