proving

  • منطق شرطی و ترجیحی: روش های اثبات و اثبات قضیه

    دانلود کتاب Conditional and Preferential Logics: Proof Methods and Theorem Proving (به فارسی: منطق شرطی و ترجیحی: روش های اثبات و اثبات قضیه) نوشته شده توسط «G.L. Pozzato» اطلاعات کتاب منطق شرطی و ترجیحی: روش های اثبات و اثبات قضیه موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: IOS Press نویسنده: G.L. Pozzato زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2010 تعداد صفحه: 209 حجم کتاب: 2 مگابایت کد کتاب: 1607500949 , 9781607500940 توضیحات کتاب منطق شرطی و ترجیحی: روش های اثبات و اثبات قضیه این جلد شامل نسخه اصلاح شده و به روز شده…

  • اثبات قضیه در منطق های مرتبه بالاتر: هفدهمین کنفرانس بین المللی، TPHOLS 2004، پارک سیتی، یوتا، ایالات متحده، 14-17 سپتامبر 2004، مجموعه مقالات

    دانلود کتاب Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings (به فارسی: اثبات قضیه در منطق های مرتبه بالاتر: هفدهمین کنفرانس بین المللی، TPHOLS 2004، پارک سیتی، یوتا، ایالات متحده، 14-17 سپتامبر 2004، مجموعه مقالات) نوشته شده توسط «Konrad Slind – Annette Bunker – Ganesh C. Gopalakrishnan» اطلاعات کتاب اثبات قضیه در منطق های مرتبه بالاتر: هفدهمین کنفرانس بین المللی، TPHOLS 2004، پارک سیتی، یوتا، ایالات متحده، 14-17 سپتامبر 2004، مجموعه مقالات موضوع اصلی: کنفرانس ها و سمپوزیوم های بین المللی نوع: کتاب الکترونیکی ناشر: Springer نویسنده: Konrad Slind…

  • خواندن، نوشتن و اثبات. نگاهی دقیق به ریاضیات

    دانلود کتاب Reading, writing and proving. Close look at mathematics (به فارسی: خواندن، نوشتن و اثبات. نگاهی دقیق به ریاضیات) نوشته شده توسط «Daepp U. – Gorkin P.» اطلاعات کتاب خواندن، نوشتن و اثبات. نگاهی دقیق به ریاضیات موضوع اصلی: ریاضیات نوع: کتاب الکترونیکی ناشر: Springer نویسنده: Daepp U. – Gorkin P. زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 2003 تعداد صفحه: 406 حجم کتاب: 2 مگابایت دانلود کتاب «خواندن، نوشتن و اثبات. نگاهی دقیق به ریاضیات»

  • اثبات قضیه در منطق های مرتبه بالاتر: سیزدهمین کنفرانس بین المللی، TPHOLs 2000 پورتلند، OR، ایالات متحده آمریکا، 14 تا 18 اوت، 2000 مجموعه مقالات

    دانلود کتاب Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14–18, 2000 Proceedings (به فارسی: اثبات قضیه در منطق های مرتبه بالاتر: سیزدهمین کنفرانس بین المللی، TPHOLs 2000 پورتلند، OR، ایالات متحده آمریکا، 14 تا 18 اوت، 2000 مجموعه مقالات) نوشته شده توسط «Antonia Balaa – Yves Bertot (auth.) – Mark Aagaard – John Harrison (eds.)» اطلاعات کتاب اثبات قضیه در منطق های مرتبه بالاتر: سیزدهمین کنفرانس بین المللی، TPHOLs 2000 پورتلند، OR، ایالات متحده آمریکا، 14 تا 18 اوت، 2000 مجموعه مقالات موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg…

  • اثبات قضیه در منطق های مرتبه بالاتر: دهمین کنفرانس بین المللی، TPHOLs ’97 موری هیل، نیوجرسی، ایالات متحده، 19 تا 22 اوت، 1997 مجموعه مقالات

    دانلود کتاب Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs ’97 Murray Hill, NJ, USA, August 19–22, 1997 Proceedings (به فارسی: اثبات قضیه در منطق های مرتبه بالاتر: دهمین کنفرانس بین المللی، TPHOLs ’97 موری هیل، نیوجرسی، ایالات متحده، 19 تا 22 اوت، 1997 مجموعه مقالات) نوشته شده توسط «Sten Agerholm – Jacob Frost (auth.) – Elsa L. Gunter – Amy Felty (eds.)» اطلاعات کتاب اثبات قضیه در منطق های مرتبه بالاتر: دهمین کنفرانس بین المللی، TPHOLs ’97 موری هیل، نیوجرسی، ایالات متحده، 19 تا 22 اوت، 1997 مجموعه مقالات موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Springer-Verlag…

  • اثبات قضیه در منطق های مرتبه بالاتر: بیست و یکمین کنفرانس بین المللی، TPHOLs 2008، مونترال، کانادا، 18-21 اوت 2008. مجموعه مقالات

    دانلود کتاب Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings (به فارسی: اثبات قضیه در منطق های مرتبه بالاتر: بیست و یکمین کنفرانس بین المللی، TPHOLs 2008، مونترال، کانادا، 18-21 اوت 2008. مجموعه مقالات) نوشته شده توسط «Mike Gordon (auth.) – Otmane Ait Mohamed – César Muñoz – Sofiène Tahar (eds.)» اطلاعات کتاب اثبات قضیه در منطق های مرتبه بالاتر: بیست و یکمین کنفرانس بین المللی، TPHOLs 2008، مونترال، کانادا، 18-21 اوت 2008. مجموعه مقالات موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Mike Gordon (auth.) – Otmane…

  • اثبات قضیه با جدول های تحلیلی و روش های مرتبط: پنجمین کارگاه بین المللی، TABLEAUX ’96 Terrasini، پالرمو، ایتالیا، 15–17 می، 1996 مجموعه مقالات

    دانلود کتاب Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX ’96 Terrasini, Palermo, Italy, May 15–17, 1996 Proceedings (به فارسی: اثبات قضیه با جدول های تحلیلی و روش های مرتبط: پنجمین کارگاه بین المللی، TABLEAUX ’96 Terrasini، پالرمو، ایتالیا، 15–17 می، 1996 مجموعه مقالات) نوشته شده توسط «Peter B. Andrews – Matthew Bishop (auth.) – P. Miglioli – U. Moscato – D. Mundici – M. Ornaghi (eds.)» اطلاعات کتاب اثبات قضیه با جدول های تحلیلی و روش های مرتبط: پنجمین کارگاه بین المللی، TABLEAUX ’96 Terrasini، پالرمو، ایتالیا، 15–17 می، 1996 مجموعه مقالات موضوع اصلی: کامپیوترها…

  • اثبات قضیه در منطق های مرتبه بالاتر: هجدهمین کنفرانس بین المللی، TPHOLs 2005، آکسفورد، انگلستان، 22-25 اوت، 2005. مجموعه مقالات

    دانلود کتاب Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings (به فارسی: اثبات قضیه در منطق های مرتبه بالاتر: هجدهمین کنفرانس بین المللی، TPHOLs 2005، آکسفورد، انگلستان، 22-25 اوت، 2005. مجموعه مقالات) نوشته شده توسط «Mauro Gargano – Mark Hillebrand – Dirk Leinenbach – Wolfgang Paul (auth.) – Joe Hurd – Tom Melham (eds.)» اطلاعات کتاب اثبات قضیه در منطق های مرتبه بالاتر: هجدهمین کنفرانس بین المللی، TPHOLs 2005، آکسفورد، انگلستان، 22-25 اوت، 2005. مجموعه مقالات موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Mauro Gargano – Mark…

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

    دانلود کتاب Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings (به فارسی: اثبات قضیه در منطق های مرتبه بالاتر: نهمین کنفرانس بین المللی، TPHOLs’96 تورکو، فنلاند، 26 تا 30 اوت، 1996 مجموعه مقالات) نوشته شده توسط «Sten Agerholm (auth.) – Gerhard Goos – Juris Hartmanis – Jan van Leeuwen – Joakim von Wright – Jim Grundy – John Harrison (eds.)» اطلاعات کتاب اثبات قضیه در منطق های مرتبه بالاتر: نهمین کنفرانس بین المللی، TPHOLs’96 تورکو، فنلاند، 26 تا 30 اوت، 1996 مجموعه مقالات موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Springer Berlin…

  • اثبات قضیه در منطق های مرتبه بالاتر: شانزدهمین کنفرانس بین المللی، TPHOLs 2003، رم، ایتالیا، 8-12 سپتامبر 2003. مجموعه مقالات

    دانلود کتاب Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings (به فارسی: اثبات قضیه در منطق های مرتبه بالاتر: شانزدهمین کنفرانس بین المللی، TPHOLs 2003، رم، ایتالیا، 8-12 سپتامبر 2003. مجموعه مقالات) نوشته شده توسط «Jean-Raymond Abrial – Dominique Cansell (auth.) – David Basin – Burkhart Wolff (eds.)» اطلاعات کتاب اثبات قضیه در منطق های مرتبه بالاتر: شانزدهمین کنفرانس بین المللی، TPHOLs 2003، رم، ایتالیا، 8-12 سپتامبر 2003. مجموعه مقالات موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Jean-Raymond Abrial – Dominique Cansell (auth.) – David Basin –…

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