کتاب الکترونیکی

اثبات قضیه در منطق های مرتبه بالاتر: دوازدهمین کنفرانس بین المللی، TPHOLs 99 نیس، فرانسه، 14 تا 17 سپتامبر 1999 مجموعه مقالات

Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings

دانلود کتاب Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings (به فارسی: اثبات قضیه در منطق های مرتبه بالاتر: دوازدهمین کنفرانس بین المللی، TPHOLs 99 نیس، فرانسه، 14 تا 17 سپتامبر 1999 مجموعه مقالات) نوشته شده توسط «Thomas Kropf (auth.) – Yves Bertot – Gilles Dowek – Laurent Théry – André Hirschowitz – Christine Paulin (eds.)»

اطلاعات کتاب اثبات قضیه در منطق های مرتبه بالاتر: دوازدهمین کنفرانس بین المللی، TPHOLs 99 نیس، فرانسه، 14 تا 17 سپتامبر 1999 مجموعه مقالات

موضوع اصلی: منطق

نوع: کتاب الکترونیکی

ناشر: Springer-Verlag Berlin Heidelberg

نویسنده: Thomas Kropf (auth.) – Yves Bertot – Gilles Dowek – Laurent Théry – André Hirschowitz – Christine Paulin (eds.)

زبان: English

فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)

سال انتشار: 1999

تعداد صفحه: 364

حجم کتاب: 4 مگابایت

کد کتاب: 3540664637 , 9783540664635

نوبت چاپ: 1

توضیحات کتاب اثبات قضیه در منطق های مرتبه بالاتر: دوازدهمین کنفرانس بین المللی، TPHOLs 99 نیس، فرانسه، 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.

دانلود کتاب «اثبات قضیه در منطق های مرتبه بالاتر: دوازدهمین کنفرانس بین المللی، TPHOLs 99 نیس، فرانسه، 14 تا 17 سپتامبر 1999 مجموعه مقالات»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.

برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان