دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
دانلود کتاب انواع اثبات ها و برنامه ها: کنفرانس بین المللی ، TYPES 2008 تورینو ، ایتالیا ، 26-29 مارس ، 2008 بازبینی های منتخب
مشخصات کتاب
Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
ویرایش: 1 نویسندگان: Davide Ancona, Giovanni Lagorio, Elena Zucca (auth.), Stefano Berardi, Ferruccio Damiani, Ugo de’Liguoro (eds.) سری: Lecture Notes in Computer Science 5497 : Theoretical Computer Science and General Issues ISBN (شابک) : 9783642024436, 3642024432 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2009 تعداد صفحات: 331 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 41,000
کلمات کلیدی مربوط به کتاب انواع اثبات ها و برنامه ها: کنفرانس بین المللی ، TYPES 2008 تورینو ، ایتالیا ، 26-29 مارس ، 2008 بازبینی های منتخب: منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، زبان های برنامه نویسی، کامپایلر، مفسر، دستکاری نمادین و جبری، هوش مصنوعی (شامل رباتیک)
در صورت تبدیل فایل کتاب Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب انواع اثبات ها و برنامه ها: کنفرانس بین المللی ، TYPES 2008 تورینو ، ایتالیا ، 26-29 مارس ، 2008 بازبینی های منتخب نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب انواع اثبات ها و برنامه ها: کنفرانس بین المللی ، TYPES 2008 تورینو ، ایتالیا ، 26-29 مارس ، 2008 بازبینی های منتخب
این کتاب مجموعه مقالات پس از کنفرانس TYPES 2008 است که به طور کامل داوری شده است، آخرین جلسه از مجموعه ای از جلسات گروه کاری TYPES که توسط اتحادیه اروپا بین سال های 1993 و 2008 تامین شده است. این کارگاه در تورینو، ایتالیا، در مارس 2008 برگزار شد.
19 مقاله کامل اصلاح شده ارائه شده به دقت بررسی و از بین 27 مقاله ارسالی انتخاب شدند. موضوع کارگاه استدلال رسمی و برنامه نویسی کامپیوتری بر اساس تئوری نوع: زبان ها و ابزارهای کامپیوتری برای استدلال و کاربرد در چندین حوزه مانند تجزیه و تحلیل زبان های برنامه نویسی، نرم افزارهای تایید شده، کد موبایل، رسمی سازی ریاضیات، آموزش ریاضیات بود. P>
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2008, the last of a series of meetings of the TYPES working group funded by the European Union between 1993 and 2008; the workshop has been held in Torino, Italy, in March 2008.
The 19 revised full papers presented were carefully reviewed and selected from 27 submissions. The topic of the workshop was formal reasoning and computer programming based on type theory: languages and computerized tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, mobile code, formalization of mathematics, mathematics education.
فهرست مطالب
Front Matter....Pages -
Type Inference by Coinductive Logic Programming....Pages 1-18
About the Formalization of Some Results by Chebyshev in Number Theory....Pages 19-31
A New Elimination Rule for the Calculus of Inductive Constructions....Pages 32-48
A Framework for the Analysis of Access Control Models for Interactive Mobile Devices....Pages 49-63
Proving Infinitary Normalization....Pages 64-82
First-Class Object Sets....Pages 83-99
Monadic Translation of Intuitionistic Sequent Calculus....Pages 100-116
Towards a Type Discipline for Answer Set Programming....Pages 117-135
Type Inference for a Polynomial Lambda Calculus....Pages 136-152
Local Theory Specifications in Isabelle/Isar....Pages 153-168
Axiom Directed Focusing....Pages 169-185
A Type System for Usage of Software Components....Pages 186-202
Merging Procedural and Declarative Proof....Pages 203-219
Using Structural Recursion for Corecursion....Pages 220-236
Manifest Fields and Module Mechanisms in Intensional Type Theory....Pages 237-255
A Machine-Checked Proof of the Average-Case Complexity of Quicksort in Coq....Pages 256-271
Coalgebraic Reasoning in Coq: Bisimulation and the λ -Coiteration Scheme....Pages 272-288
A Process-Model for Linear Programs....Pages 289-305
Some Complexity and Expressiveness Results on Multimodal and Stratified Proof Nets....Pages 306-322
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Accounting and Financial System Reform in a Transition Economy: A Case Study of Russia
دانلود کتاب Exploring the Origin, Extent, and Future of Life: Philosophical, Ethical and Theological Perspectives (Cambridge Astrobiology)
دانلود کتاب Chief Culture Officer: How to Create a Living, Breathing Corporation
