دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Types for Proofs and Programs: International Workshop, TYPES’99 Lökeberg, Sweden, June 12–16, 1999 Selected Papers
دانلود کتاب انواع اثبات ها و برنامه ها: کارگاه بین المللی ، کارگاه های TYPES99 Lökeberg ، سوئد ، 12 تا 16 ژوئن 1999 منتخب منتخب
مشخصات کتاب
Types for Proofs and Programs: International Workshop, TYPES’99 Lökeberg, Sweden, June 12–16, 1999 Selected Papers
دسته بندی: کنفرانس ها و همایش های بین المللی ویرایش: 1 نویسندگان: Andreas Abel (auth.), Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith (eds.) سری: Lecture Notes in Computer Science 1956 ISBN (شابک) : 3540415173, 9783540415176 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2000 تعداد صفحات: 200 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 1 مگابایت
قیمت کتاب (تومان) : 59,000
کلمات کلیدی مربوط به کتاب انواع اثبات ها و برنامه ها: کارگاه بین المللی ، کارگاه های TYPES99 Lökeberg ، سوئد ، 12 تا 16 ژوئن 1999 منتخب منتخب: منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، زبان های برنامه نویسی، کامپایلرها، مترجمان، هوش مصنوعی (شامل رباتیک)، منطق ریاضی و مبانی
در صورت تبدیل فایل کتاب Types for Proofs and Programs: International Workshop, TYPES’99 Lökeberg, Sweden, June 12–16, 1999 Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب انواع اثبات ها و برنامه ها: کارگاه بین المللی ، کارگاه های TYPES99 Lökeberg ، سوئد ، 12 تا 16 ژوئن 1999 منتخب منتخب نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب انواع اثبات ها و برنامه ها: کارگاه بین المللی ، کارگاه های TYPES99 Lökeberg ، سوئد ، 12 تا 16 ژوئن 1999 منتخب منتخب
این کتاب مجموعه مقالات پس از کارگاه آموزشی با داوری کامل سومین
کارگاه بین المللی، TYPES'99، سازماندهی شده توسط گروه کاری
ESPRIT 21900، در L?keberg، سوئد، در ژوئن 1999 است.
11 مقاله کامل اصلاح شده ارائه شده در حجم در دو دور داوری به دقت
بررسی و انتخاب شد. تمام مسائل جاری در نظریه نوع و سیستم های نوع
و کاربردهای آنها در برنامه نویسی و نظریه اثبات پرداخته شده است.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-workshop
proceedings of the Third International Workshop, TYPES'99,
organized by the ESPRIT Working Group 21900, in L?keberg,
Sweden, in June 1999.
The 11 revised full papers presented in the volume were
carefully reviewed and selected during two rounds of
refereeing. All current issues on type theory and type systems
and their applications to programming and proof theory are
addressed.
فهرست مطالب
Specification and Verification of a Formal System for Structurally Recursive Functions....Pages 1-20
A Predicative Strong Normalisation Proof for a λCalculus with Interleaving Inductive Types....Pages 21-40
Polymorphic Intersection Type Assignment for Rewrite Systems with Abstraction and β-Rule....Pages 41-60
Computer-Assisted Mathematics at Work....Pages 61-76
Specification of a Smart Card Operating System....Pages 77-93
Implementation Techniques for Inductive Types in Plastic....Pages 94-113
A Co-inductive Approach to Real Numbers....Pages 114-130
Information Retrieval in a Coq Proof Library Using Type Isomorphisms....Pages 131-147
Memory Management: An Abstract Formulation of Incremental Tracing....Pages 148-161
The Three Gap Theorem (Steinhaus Conjecture)....Pages 162-173
Formalising Formulas-as-Types-as-Objects....Pages 174-193
نظرات کاربران
کتاب های مرتبط
دانلود کتاب The Big Fish Bang (Proceedings of the 26th annual Larval Fish Conference)
دانلود کتاب Algorithmic Foundations of Robotics IX: Selected Contributions of the Ninth International Workshop on the Algorithmic Foundations of Robotics
دانلود کتاب Formal Techniques for Networked and Distributed Systems - FORTE 2006: 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings
دانلود کتاب Image Analysis and Processing: 9th International Conference, ICIAP '97 Florence, Italy, September 17–19, 1997 Proceedings, Volume II
دانلود کتاب B’98: Recent Advances in the Development and Use of the B Method: Second International B Conference Montpellier, France, April 22–24, 1998 Proceedings
دانلود کتاب Technologies for E-Services: Third International Workshop, TES 2002 Hong Kong, China, August 23–24, 2002 Proceedings
دانلود کتاب Wired/Wireless Internet Communications: 6th International Conference, WWIC 2008 Tampere, Finland, May 28-30, 2008 Proceedings
دانلود کتاب Architecture of Computing Systems - ARCS 2006: 19th International Conference, Frankfurt/Main, Germany, March 13-16, 2006. Proceedings
دانلود کتاب Job Scheduling Strategies for Parallel Processing: IPPS '95 Workshop Santa Barbara, CA, USA, April 25, 1995 Proceedings
