tphols

  • اثبات قضیه در منطق های مرتبه بالاتر: هفدهمین کنفرانس بین المللی، 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…

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

  • اثبات قضیه در منطق های مرتبه بالاتر: هجدهمین کنفرانس بین المللی، 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 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 –…

  • اثبات قضیه در منطق های مرتبه بالاتر: چهاردهمین کنفرانس بین المللی، TPHOLs 2001 ادینبورگ، اسکاتلند، انگلستان، 3 تا 6 سپتامبر 2001 مجموعه مقالات

    دانلود کتاب Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001 Edinburgh, Scotland, UK, September 3–6, 2001 Proceedings (به فارسی: اثبات قضیه در منطق های مرتبه بالاتر: چهاردهمین کنفرانس بین المللی، TPHOLs 2001 ادینبورگ، اسکاتلند، انگلستان، 3 تا 6 سپتامبر 2001 مجموعه مقالات) نوشته شده توسط «Bart Jacobs (auth.) – Richard J. Boulton – Paul B. Jackson (eds.)» اطلاعات کتاب اثبات قضیه در منطق های مرتبه بالاتر: چهاردهمین کنفرانس بین المللی، TPHOLs 2001 ادینبورگ، اسکاتلند، انگلستان، 3 تا 6 سپتامبر 2001 مجموعه مقالات موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Bart Jacobs (auth.) –…

  • اثبات قضیه در منطق های مرتبه بالاتر: پانزدهمین کنفرانس بین المللی، TPHOLs 2002 Hampton، VA، ایالات متحده آمریکا، 20-23 اوت، 2002 مجموعه مقالات

    دانلود کتاب Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20–23, 2002 Proceedings (به فارسی: اثبات قضیه در منطق های مرتبه بالاتر: پانزدهمین کنفرانس بین المللی، TPHOLs 2002 Hampton، VA، ایالات متحده آمریکا، 20-23 اوت، 2002 مجموعه مقالات) نوشته شده توسط «Ricky Butler (auth.) – Victor A. Carreño – César A. Muñoz – Sofiène Tahar (eds.)» اطلاعات کتاب اثبات قضیه در منطق های مرتبه بالاتر: پانزدهمین کنفرانس بین المللی، TPHOLs 2002 Hampton، VA، ایالات متحده آمریکا، 20-23 اوت، 2002 مجموعه مقالات موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Ricky…

  • اثبات قضیه در منطق های مرتبه بالاتر: بیستمین کنفرانس بین المللی، TPHOLs 2007، Kaiserslautern، آلمان، 10-13 سپتامبر 2007. مجموعه مقالات

    دانلود کتاب Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings (به فارسی: اثبات قضیه در منطق های مرتبه بالاتر: بیستمین کنفرانس بین المللی، TPHOLs 2007، Kaiserslautern، آلمان، 10-13 سپتامبر 2007. مجموعه مقالات) نوشته شده توسط «Constance L. Heitmeyer (auth.) – Klaus Schneider – Jens Brandt (eds.)» اطلاعات کتاب اثبات قضیه در منطق های مرتبه بالاتر: بیستمین کنفرانس بین المللی، TPHOLs 2007، Kaiserslautern، آلمان، 10-13 سپتامبر 2007. مجموعه مقالات موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Constance L. Heitmeyer (auth.) – Klaus Schneider – Jens Brandt (eds.) زبان:…

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

    دانلود کتاب 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 نویسنده:…

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