دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
دانلود کتاب انواع مدارک و برنامه ها: کارگاه بین المللی، TYPES 2004، Jouy-en-Josas، فرانسه، 15-18 دسامبر 2004، مقالات منتخب اصلاح شده
مشخصات کتاب
Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
ویرایش: [1 ed.] نویسندگان: Robin Adams (auth.), Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner (eds.) سری: Lecture Notes in Computer Science 3839 : Theoretical Computer Science and General Issues ISBN (شابک) : 3540314288, 3540314296 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2006 تعداد صفحات: 280 [282] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 Mb
قیمت کتاب (تومان) : 58,000
در صورت تبدیل فایل کتاب Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب انواع مدارک و برنامه ها: کارگاه بین المللی، TYPES 2004، Jouy-en-Josas، فرانسه، 15-18 دسامبر 2004، مقالات منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
فهرست مطالب
Front Matter....Pages -
Formalized Metatheory with Terms Represented by an Indexed Family of Types....Pages 1-16
A Content Based Mathematical Search Engine: Whelp....Pages 17-32
A Machine-Checked Formalization of the Random Oracle Model....Pages 33-49
Extracting a Normalization Algorithm in Isabelle/HOL....Pages 50-65
A Structured Approach to Proving Compiler Optimizations Based on Dataflow Analysis....Pages 66-81
Formalising Bitonic Sort in Type Theory....Pages 82-97
A Semi-reflexive Tactic for (Sub-)Equational Reasoning....Pages 98-114
A Uniform and Certified Approach for Two Static Analyses....Pages 115-137
Solving Two Problems in General Topology Via Types....Pages 138-153
A Tool for Automated Theorem Proving in Agda....Pages 154-169
Surreal Numbers in Coq....Pages 170-185
A Few Constructions on Constructors....Pages 186-200
Tactic-Based Optimized Compilation of Functional Programs....Pages 201-214
Interfaces as Games, Programs as Strategies....Pages 215-231
λ Z : Zermelo’s Set Theory as a PTS with 4 Sorts....Pages 232-251
Exploring the Regular Tree Types....Pages 252-267
On Constructive Existence....Pages 268-273
Back Matter....Pages -
