دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Programming Logics: Essays in Memory of Harald Ganzinger
دانلود کتاب منطق برنامه نویسی: مقاله هایی در حافظه هارالد گانزینگر
مشخصات کتاب
Programming Logics: Essays in Memory of Harald Ganzinger
ویرایش:
نویسندگان: Andrei Voronkov. Christoph Weidenbach
سری:
ISBN (شابک) : 9783642376511
ناشر: Springer
سال نشر: 2013
تعداد صفحات: 455
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 48,000
در صورت تبدیل فایل کتاب Programming Logics: Essays in Memory of Harald Ganzinger به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق برنامه نویسی: مقاله هایی در حافظه هارالد گانزینگر نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق برنامه نویسی: مقاله هایی در حافظه هارالد گانزینگر
این جلد Festschrift که به یاد هارالد گانزینگر منتشر شده است، شامل 17 مقاله از همکاران در سراسر جهان است و همه زمینه هایی را که هارالد گانزینگر در طول دوران تحصیلی خود به آنها اختصاص داده است، پوشش می دهد. این جلد با شرح کاملی از کار هارالد گانزینگر آغاز می‌شود و سپس تمرکز خود را به تحقیقات همکاران، دانشجویان و دوستان سابقش معطوف می‌کند که از طریق نوشته‌های خود به او ادای احترام می‌کنند. مقالات جداگانه آنها طیف گسترده ای از موضوعات را شامل می شود، از جمله معناشناسی زبان برنامه نویسی، تجزیه و تحلیل و تأیید، اثبات قضیه مرتبه اول و مرتبه بالاتر، نظریه وحدت، منطق های غیر کلاسیک، نظریه های مدول استدلال، و کاربردهای استدلال خودکار در زیست شناسی.
توضیحاتی درمورد کتاب به خارجی
This Festschrift volume, published in memory of Harald Ganzinger, contains 17 papers from colleagues all over the world and covers all the fields to which Harald Ganzinger dedicated his work during his academic career. The volume begins with a complete account of Harald Ganzinger's work and then turns its focus to the research of his former colleagues, students, and friends who pay tribute to him through their writing. Their individual papers span a broad range of topics, including programming language semantics, analysis and verification, first-order and higher-order theorem proving, unification theory, non-classical logics, reasoning modulo theories, and applications of automated reasoning in biology.
فهرست مطالب
Front Matter....Pages -
Harald Ganzinger’s Legacy: Contributions to Logics and Programming....Pages 1-18
Bio-Logics: Logical Analysis of Bioregulatory Networks....Pages 19-34
Canonical Ground Horn Theories....Pages 35-71
A Generic Functional Representation of Sorted Trees Supporting Attribution....Pages 72-89
The Blossom of Finite Semantic Trees....Pages 90-122
Functional Logic Programming: From Theory to Curry....Pages 123-168
From Search to Computation: Redundancy Criteria and Simplification at Work....Pages 169-193
Elimination Techniques for Program Analysis....Pages 194-215
Narrowing Based Inductive Proof Search....Pages 216-238
Inst-Gen – A Modular Approach to Instantiation-Based Automated Reasoning....Pages 239-270
Common Knowledge Logic in a Higher Order Proof Assistant....Pages 271-284
Constructing Bachmair-Ganzinger Models....Pages 285-301
Planning with Effectively Propositional Logic....Pages 302-316
The Relative Power of Semantics and Unification....Pages 317-344
First-Order Resolution Methods for Modal Logics....Pages 345-391
On Combinations of Local Theory Extensions....Pages 392-413
Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs....Pages 414-445
Back Matter....Pages -
