دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings
دانلود کتاب قضیه اثبات در منطق مرتبه بالاتر: دوازدهمین کنفرانس بین المللی ، 99 TPHOLs نیس ، فرانسه ، مجموعه مقالات 14-17 سپتامبر 1999
مشخصات کتاب
Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings
دسته بندی: منطق ویرایش: 1 نویسندگان: Thomas Kropf (auth.), Yves Bertot, Gilles Dowek, Laurent Théry, André Hirschowitz, Christine Paulin (eds.) سری: Lecture Notes in Computer Science 1690 ISBN (شابک) : 3540664637, 9783540664635 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1999 تعداد صفحات: 362 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 35,000
کلمات کلیدی مربوط به کتاب قضیه اثبات در منطق مرتبه بالاتر: دوازدهمین کنفرانس بین المللی ، 99 TPHOLs نیس ، فرانسه ، مجموعه مقالات 14-17 سپتامبر 1999: کاربردهای ریاضیات، نرم افزارهای ریاضی، منطق ریاضی و زبان های رسمی، منطق و معانی برنامه ها، هوش مصنوعی (شامل رباتیک)، مهندسی نرم افزار
در صورت تبدیل فایل کتاب Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب قضیه اثبات در منطق مرتبه بالاتر: دوازدهمین کنفرانس بین المللی ، 99 TPHOLs نیس ، فرانسه ، مجموعه مقالات 14-17 سپتامبر 1999 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب قضیه اثبات در منطق مرتبه بالاتر: دوازدهمین کنفرانس بین المللی ، 99 TPHOLs نیس ، فرانسه ، مجموعه مقالات 14-17 سپتامبر 1999
این کتاب مجموعه مقالات داوری دوازدهمین کنفرانس بین‌المللی اثبات قضیه در منطق‌های مرتبه عالی، TPHOLs '99 است که در شهر نیس، فرانسه، در سپتامبر 1999 برگزار شد. 35 مقاله ارسال شده است. تمام جنبه های فعلی اثبات قضیه مرتبه بالاتر، تأیید رسمی، و مشخصات مورد بحث قرار می گیرد. از جمله اثبات کننده های قضیه ارزیابی شده می توان به COQ، HOL، Isabelle، Isabelle/ZF و OpenMath اشاره کرد.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '99, held in Nice, France, in September 1999. The 20 revised full papers presented together with three invited contributions were carefully reviewed and selected from 35 papers submitted. All current aspects of higher order theorem proving, formal verification, and specification are discussed. Among the theorem provers evaluated are COQ, HOL, Isabelle, Isabelle/ZF, and OpenMath.
فهرست مطالب
Front Matter....Pages I-VIII
Recent Advancements in Hardware Verification — How to Make Theorem Proving Fit for an Industrial Usage....Pages 1-4
Disjoint Sums over Type Classes in HOL....Pages 5-18
Inductive Datatypes in HOL — Lessons Learned in Formal-Logic Engineering....Pages 19-36
Isomorphisms — A Link Between the Shallow and the Deep....Pages 37-54
Polytypic Proof Construction....Pages 55-72
Recursive Function Definition over Coinductive Types....Pages 73-90
Hardware Verification Using Co-induction in COQ....Pages 91-108
Connecting Proof Checkers and Computer Algebra Using OpenMath ....Pages 109-112
A Machine-Checked Theory of Floating Point Arithmetic....Pages 113-130
Universal Algebra in Type Theory....Pages 131-148
Locales A Sectioning Concept for Isabelle....Pages 149-165
Isar — A Generic Interpretative Approach to Readable Formal Proof Documents....Pages 167-183
On the Implementation of an Extensible Declarative Proof Language....Pages 185-202
Three Tactic Theorem Proving....Pages 203-220
Mechanized Operational Semantics via (Co)Induction....Pages 221-238
Representing WP Semantics in Isabelle/ZF....Pages 239-254
A HOL Conversion for Translating Linear Time Temporal Logic to ω-Automata....Pages 255-272
From I/O Automata to Timed I/O Automata....Pages 273-289
Formal Methods and Security Evaluation....Pages 291-291
Importing MDG Verification Results into HOL....Pages 293-310
Integrating Gandalf and HOL....Pages 311-321
Lifted-FL: A Pragmatic Implementation of Combined Model Checking and Theorem Proving....Pages 323-340
Symbolic Functional Evaluation....Pages 341-358
Back Matter....Pages 359-359
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Modalities: Philosophical Essays
دانلود کتاب Novel Food Processing: Effects on Rheological and Functional Properties (Electro-Technologies for Food Processing Series)
دانلود کتاب Sparking Signals: Kinases as Molecular Signaltransducers and Pharmacological Drug Targets in Inflammation (Ernst Schering Foundation Symposium Proceedings)
دانلود کتاب Quine on Alternative Logics and Verdict Tables
دانلود کتاب Saturated Model Theory
دانلود کتاب Language, Logic And Concepts
دانلود کتاب Set Theory with a Universal Set: Exploring an Untyped Universe
دانلود کتاب Extensions of First-Order Logic
دانلود کتاب On the Purity of the Art of Logic: The Shorter and the Longer Treatises (Yale Library of Medieval Philosophy Seri)
