ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings

دانلود کتاب قضیه اثبات در منطق مرتبه بالاتر: نهمین کنفرانس بین المللی ، TPHOLs96 Turku ، فنلاند ، 26 تا 30 اوت 1996 مجموعه مقالات

Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings

مشخصات کتاب

Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings

دسته بندی: منطق
ویرایش: 1 
نویسندگان: , , , , , ,   
سری: Lecture Notes in Computer Science 1125 
ISBN (شابک) : 3540615873, 9783540615873 
ناشر: Springer Berlin Heidelberg 
سال نشر: 1996 
تعداد صفحات: 449 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت

قیمت کتاب (تومان) : 30,000



کلمات کلیدی مربوط به کتاب قضیه اثبات در منطق مرتبه بالاتر: نهمین کنفرانس بین المللی ، TPHOLs96 Turku ، فنلاند ، 26 تا 30 اوت 1996 مجموعه مقالات: منطق ریاضی و زبان های رسمی، هوش مصنوعی (شامل رباتیک)، طراحی منطق، منطق و معانی برنامه ها، منطق و مبانی ریاضی، مهندسی نرم افزار



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 8


در صورت تبدیل فایل کتاب Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب قضیه اثبات در منطق مرتبه بالاتر: نهمین کنفرانس بین المللی ، TPHOLs96 Turku ، فنلاند ، 26 تا 30 اوت 1996 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب قضیه اثبات در منطق مرتبه بالاتر: نهمین کنفرانس بین المللی ، TPHOLs96 Turku ، فنلاند ، 26 تا 30 اوت 1996 مجموعه مقالات

این کتاب مجموعه مقالات داوری نهمین کنفرانس بین‌المللی اثبات قضیه در منطق‌های مرتبه عالی، TPHOL '96، برگزار شده در تورکو، فنلاند، در آگوست 1996 است. از 46 ارسال موضوعات مورد بحث عبارتند از: فناوری اثبات قضیه، اتوماسیون اثبات و روش های تصمیم گیری، اثبات قضیه مکانیزه، توسعه منطق های مرتبه بالاتر، ادغام ابزارهای خارجی، برنامه های کاربردی جدید و موارد دیگر. در مجموع، این جلد گزارشی به روز از وضعیت هنر در این زمینه فعال است.


توضیحاتی درمورد کتاب به خارجی

This book constitutes the refereed proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics, TPHOL '96, held in Turku, Finland, in August 1996. The 27 revised full papers included together with one invited paper were carefully selected from a total of 46 submissions. The topics addressed are theorem proving technology, proof automation and decision procedures, mechanized theorem proving, extensions of higher order logics, integration of external tools, novel applications, and others. All in all, the volume is an up-to-date report on the state of the art in this increasingly active field.



فهرست مطالب

Translating specifications in VDM-SL to PVS....Pages 1-16
A comparison of HOL and ALF formalizations of a categorical coherence theorem....Pages 17-32
Modeling a hardware synthesis methodology in isabelle....Pages 33-50
Inference rules for programming languages with side effects in expressions....Pages 51-60
Deciding cryptographic protocol adequacy with HOL: The implementation....Pages 61-76
Proving liveness of fair transition systems....Pages 77-92
Program derivation using the refinement calculator....Pages 93-108
A proof tool for reasoning about functional programs....Pages 109-124
Coq and hardware verification: A case study....Pages 125-139
Elements of mathematical analysis in PVS....Pages 141-156
Implementation issues about the embedding of existing high level synthesis algorithms in HOL....Pages 157-172
Five axioms of alpha-conversion....Pages 173-190
Set theory, higher order logic or both?....Pages 191-201
A mizar mode for HOL....Pages 203-220
Stålmarck’s algorithm as a HOL derived rule....Pages 221-234
Towards applying the composition principle to verify a microkernel operating system....Pages 235-250
A modular coding of UNITY in COQ....Pages 251-266
Importing mathematics from HOL into Nuprl....Pages 267-281
A structure preserving encoding of Z in isabelle/HOL....Pages 283-298
Improving the result of high-level synthesis using interactive transformational design....Pages 299-314
Using lattice theory in higher order logic....Pages 315-330
Formal verification of algorithm W : The monomorphic case....Pages 331-345
Verification of compiler correctness for the WAM....Pages 347-361
Synthetic domain theory in type theory: Another logic of computable functions....Pages 363-380
Function definition in higher-order logic....Pages 381-397
Higher-order annotated terms for proof search....Pages 399-413
A comparison of MDG and HOL for hardware verification....Pages 415-430
A mechanisation of computability theory in HOL....Pages 431-446




نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی