دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Algebraic and Logic Programming: 5th International Conference, ALP'96 Aachen, Germany, September 25–27, 1996 Proceedings
دانلود کتاب برنامه نویسی جبری و منطقی: پنجمین کنفرانس بین المللی، ALP'96 آخن، آلمان، 25–27 سپتامبر 1996 مجموعه مقالات
مشخصات کتاب
Algebraic and Logic Programming: 5th International Conference, ALP'96 Aachen, Germany, September 25–27, 1996 Proceedings
دسته بندی: جبر ویرایش: 1 نویسندگان: Ilies Alouini, Claude Kirchner (auth.), Michael Hanus, Mario Rodríguez-Artalejo (eds.) سری: Lecture Notes in Computer Science 1139 ISBN (شابک) : 3540617353, 9783540617358 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1996 تعداد صفحات: 354 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 31,000
در صورت تبدیل فایل کتاب Algebraic and Logic Programming: 5th International Conference, ALP'96 Aachen, Germany, September 25–27, 1996 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب برنامه نویسی جبری و منطقی: پنجمین کنفرانس بین المللی، ALP'96 آخن، آلمان، 25–27 سپتامبر 1996 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب برنامه نویسی جبری و منطقی: پنجمین کنفرانس بین المللی، ALP'96 آخن، آلمان، 25–27 سپتامبر 1996 مجموعه مقالات
این کتاب مجموعه مقالات داوری پنجمین کنفرانس بین‌المللی
برنامه‌نویسی جبری و منطقی، ALP '96، در آخن، آلمان، در سپتامبر
1996 با همکاری PLILP و SAS است.
این جلد 21 مقاله کامل اصلاح‌شده را ارائه می‌کند. انتخاب از 54
ارسالی؛ همچنین یک مشارکت دعوت شده توسط کلود کرشنر و ایلیس
آلوئینی با عنوان "به سوی اجرای همزمان سیستم های محاسباتی"
گنجانده شده است. این جلد به بخش‌های موضوعی در برنامه‌نویسی
منطقی، بازنویسی اصطلاح، ادغام پارادایم‌ها، تفسیر انتزاعی،
حساب لامبدا و بازنویسی، و انواع تقسیم می‌شود.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the Fifth
International Conference on Algebraic and Logic Programming,
ALP '96, held in Aachen, Germany, in September 1996 in
conjunction with PLILP and SAS.
The volume presents 21 revised full papers selected from 54
submissions; also included is an invited contribution by
Claude Kirchner and Ilies Alouini entitled "Toward the
Concurrent Implementation of Computational Systems". The
volume is divided into topical sections on logic programming,
term rewriting, integration of paradigms, abstract
interpretation, Lambda-calculus and rewriting, and types.
فهرست مطالب
Toward the concurrent implementation of computational systems....Pages 1-31
On negation as instantiation....Pages 32-46
Independence in dynamically scheduled logic languages....Pages 47-61
Heterogeneous constraint solving....Pages 62-76
A hierarchy of semantics for normal constraint logic programs....Pages 77-91
Order-sorted termination: The unsorted way....Pages 92-106
Unravelings and ultra-properties....Pages 107-121
Standardization theorem revisited....Pages 122-134
Discrete Normalization and Standardization in Deterministic Residual Structures....Pages 135-149
A language for the logical specification of processes and relations....Pages 150-164
A process algebra for synchronous concurrent constraint programming....Pages 165-178
An algebraic approach to mixins and modularity....Pages 179-193
A strict border for the decidability of E-unification for recursive functions....Pages 194-208
Prime factorizations of abstract domains using first-order logic....Pages 209-223
Abstractions of uniform proofs....Pages 224-237
Complementing logic program semantics....Pages 238-253
Meaningless terms in rewriting....Pages 254-268
Unique normal form property of Higher-Order Rewriting Systems....Pages 269-283
λ-calculi with explicit substitutions and composition which preserve β-strong normalization....Pages 284-298
Algebraic semantics for functional logic programming with polymorphic order-sorted types....Pages 299-313
Specifying type systems....Pages 314-329
The semantic treatment of polymorphic specification languages....Pages 330-344
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Radical Banach Algebras and Automatic Continuity: Proceedings of a Conference Held at California State University, Long Beach, July 17–31, 1981
دانلود کتاب Commutative Rings
دانلود کتاب Lectures on an Introduction to Grothendieck's Theory of the Fundamental Group
دانلود کتاب Autour Des Motifs: Asian-french Summer School on Algebraic Geometry and Number Theory (Panoramas Et Syntheses)
دانلود کتاب Algèbre et arithmétique: preparation à l'agrègation 2017-2018
دانلود کتاب Group Spirituality: A Workshop Approach
دانلود کتاب Introductions to Symmetric Polynomials and Symmetric Functions
دانلود کتاب The Steenrod algebra and its applications: a conference to celebrate N. E. Steenrod's sixtieth birthday. Proceedings of the conference held at the Battelle Memorial Institute, Columbus, Ohio, March 30th-April 4th, 1970
