دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Algebraic and Logic Programming: International Workshop Gaussig, GDR, November 14–18, 1988 Proceedings
دانلود کتاب برنامه نویسی جبری و منطق: کارگاه بین المللی گاوسیگ ، GDR ، 14 تا 18 نوامبر 1988 مجموعه مقالات
مشخصات کتاب
Algebraic and Logic Programming: International Workshop Gaussig, GDR, November 14–18, 1988 Proceedings
دسته بندی: برنامه نويسي ویرایش: 1 نویسندگان: J. A. Bergstra (auth.), J. Grabowski, P. Lescanne, W. Wechler (eds.) سری: Lecture Notes in Computer Science 343 ISBN (شابک) : 9783540506676, 9783540460633 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1988 تعداد صفحات: 275 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 مگابایت
قیمت کتاب (تومان) : 37,000
کلمات کلیدی مربوط به کتاب برنامه نویسی جبری و منطق: کارگاه بین المللی گاوسیگ ، GDR ، 14 تا 18 نوامبر 1988 مجموعه مقالات: منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، تکنیک های برنامه نویسی، هوش مصنوعی (شامل رباتیک)
در صورت تبدیل فایل کتاب Algebraic and Logic Programming: International Workshop Gaussig, GDR, November 14–18, 1988 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب برنامه نویسی جبری و منطق: کارگاه بین المللی گاوسیگ ، GDR ، 14 تا 18 نوامبر 1988 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب برنامه نویسی جبری و منطق: کارگاه بین المللی گاوسیگ ، 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.
فهرست مطالب
ACP with signals....Pages 11-20
Functional extensions to prolog: Are they needed?....Pages 21-29
Narrowing and resolution in logic-functional programming languages....Pages 30-30
Nondeterministic algebraic specifications and nonconfluent term rewriting....Pages 31-40
OBJ: Programming with equalities, subsorts, overloading and parameterization....Pages 41-52
Logic programming with polymorphically order-sorted types....Pages 53-70
Integrating logic programming and equational specification of abstract data types....Pages 71-82
Narrowing with built-in theories....Pages 83-92
A completion procedure for hierarchical conditional rewriting systems....Pages 93-107
An effective method for handling initial algebras....Pages 108-118
Boolean valued models and incomplete specifications....Pages 119-126
Types, modularisation and abstraction in logic programming....Pages 127-136
Translating algebraic specifications to Prolog programs: A comparative study....Pages 137-146
Rewrite rule systems for modal propositional logic....Pages 147-156
A characterization of irreducible sets modulo left-linear term rewriting systems by tree automata....Pages 157-157
Functional data term models and semantic unification....Pages 158-167
Modular algebraic specifications....Pages 168-179
Proving inductive theorems based on term rewriting systems....Pages 180-190
Jungle evaluation for efficient term rewriting....Pages 191-203
A new quasi-reducibility testing algorithm and its application to proofs by induction....Pages 204-213
Fuzzy reasoning based on f-horn clause rules....Pages 214-222
Babel: A functional and logic programming language based on constructor discipline and narrowing....Pages 223-232
Refined compilation of pattern-matching for functional languages....Pages 233-243
Narrowing in partial conditional equational theories....Pages 244-244
Solving equations in an equational language....Pages 245-254
Nonstandard logics of recursive programs and denotational semantics....Pages 255-278
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Automata, Languages and Programming: 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings
دانلود کتاب Intermediate iOS Programming with Swift: iOS 10 and Swift 3
دانلود کتاب Java For Artists: The Art, Philosophy, And Science Of Object-Oriented Programming
دانلود کتاب Microsoft Project 2010: The Missing Manual
دانلود کتاب HTML5 Enterprise Application Development
دانلود کتاب Invitation to Computer Science
دانلود کتاب The Inner Game of Golf
