دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Types for Proofs and Programs: International Workshop TYPES '94 Båstad, Sweden, June 6–10, 1994 Selected Papers
دانلود کتاب انواع مستندات و برنامه ها: انواع کارگاه های بین المللی 94 بوستاد ، سوئد ، 6 تا 10 ژوئن 1994 مقاله های منتخب
مشخصات کتاب
Types for Proofs and Programs: International Workshop TYPES '94 Båstad, Sweden, June 6–10, 1994 Selected Papers
دسته بندی: کنفرانس ها و همایش های بین المللی ویرایش: 1 نویسندگان: René Ahn (auth.), Peter Dybjer, Bengt Nordström, Jan Smith (eds.) سری: Lecture Notes in Computer Science 996 ISBN (شابک) : 3540605797, 9783540605799 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1995 تعداد صفحات: 211 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 39,000
کلمات کلیدی مربوط به کتاب انواع مستندات و برنامه ها: انواع کارگاه های بین المللی 94 بوستاد ، سوئد ، 6 تا 10 ژوئن 1994 مقاله های منتخب: منطق ریاضی و زبان های رسمی، منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلرها، مترجمان، هوش مصنوعی (شامل رباتیک)، منطق ریاضی و مبانی
در صورت تبدیل فایل کتاب Types for Proofs and Programs: International Workshop TYPES '94 Båstad, Sweden, June 6–10, 1994 Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب انواع مستندات و برنامه ها: انواع کارگاه های بین المللی 94 بوستاد ، سوئد ، 6 تا 10 ژوئن 1994 مقاله های منتخب نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب انواع مستندات و برنامه ها: انواع کارگاه های بین المللی 94 بوستاد ، سوئد ، 6 تا 10 ژوئن 1994 مقاله های منتخب
این کتاب مجموعه ای کاملاً داوری شده از مقالات کامل اصلاح شده
را ارائه می دهد که از مقالات پذیرفته شده برای کارگاه آموزشی
TYPES '94 که تحت نظارت ESPRIT Basic Research Action 6453
Types for Proofs and Programs در باستاد، سوئد، در ژوئن 1994
برگزار شد، ارائه می کند. .
این 10 مقاله شامل جنبه های مختلف توسعه اثبات ها و برنامه های
کامپیوتری با استفاده از یک چارچوب منطقی می شود. نظریه نوع و
سه چارچوب منطقی مبتنی بر آن پرداخته می شود: ALF، Coq، و LEGO.
سایر موضوعات تحت پوشش عبارتند از فرانظریه، سیستم ایزابل،
2-حساب، چکرز اثبات، و نظریه مجموعه ZF.
توضیحاتی درمورد کتاب به خارجی
This book presents a strictly refereed collection of revised
full papers selected from the papers accepted for the TYPES
'94 Workshop, held under the auspices of the ESPRIT Basic
Research Action 6453 Types for Proofs and Programs in Bastad,
Sweden, in June 1994.
The 10 papers included address various aspects of developing
computer-assisted proofs and programs using a logical
framework. Type theory and three logical frameworks based on
it are dealt with: ALF, Coq, and LEGO; other topics covered
are metatheory, the Isabelle system, 2-calculus, proof
checkers, and ZF set theory.
فهرست مطالب
Communicating contexts: A pragmatic approach to information exchange....Pages 1-13
A short and flexible proof of strong normalization for the calculus of constructions....Pages 14-38
Codifying guarded definitions with recursive schemes....Pages 39-59
The metatheory of UTT ....Pages 60-82
A user\'s friendly syntax to define recursive functions as typed λ-terms....Pages 83-100
I/O automata in Isabelle/HOL....Pages 101-119
A concrete final coalgebra theorem for ZF set theory....Pages 120-139
On extensibility of proof checkers....Pages 140-161
Syntactic categories in the language of mathematics....Pages 162-182
Formalization of a λ-calculus with explicit substitutions in Coq....Pages 183-202
نظرات کاربران
کتاب های مرتبط
دانلود کتاب The Incarnation: An Interdisciplinary Symposium on the Incarnation of the Son of God
دانلود کتاب Combinatorial Geometry and Graph Theory: Indonesia-Japan Joint Conference, IJCCGGT 2003, Bandung, Indonesia, September 13-16, 2003, Revised Selected Papers
دانلود کتاب Peer-to-Peer Systems IV: 4th International Workshop, IPTPS 2005, Ithaca, NY, USA, February 24-25, 2005. Revised Selected Papers
دانلود کتاب Articulated Motion and Deformable Objects: Third International Workshop, AMDO 2004, Palma de Mallorca, Spain, September 22-24, 2004. Proceedings
دانلود کتاب Types in Compilation: third International Workshop, TIC 2000 Montreal, Canada, September 21, 2000 Revised Selected Papers
دانلود کتاب Conditionals, Information, and Inference: International Workshop, WCII 2002, Hagen, Germany, May 13-15, 2002, Revised Selected Papers
دانلود کتاب Summary of a Workshop for Software-Intensive Systems and Uncertainty at Scale
دانلود کتاب Professional Portrait Photography: Techniques and Images from Master Photographers (Pro Photo Workshop)
دانلود کتاب Meta-Programming in Logic: Third International Workshop, META-92 Uppsala, Sweden, June 10–12, 1992 Proceedings
