kurt

  • منطق محاسباتی و نظریه اثبات: سومین کنفرانس کورت گودل، KGC’93 برنو، جمهوری چک، 24 تا 27 اوت، 1993 مجموعه مقالات

    دانلود کتاب Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC’93 Brno, Czech Republic, August 24–27, 1993 Proceedings (به فارسی: منطق محاسباتی و نظریه اثبات: سومین کنفرانس کورت گودل، KGC’93 برنو، جمهوری چک، 24 تا 27 اوت، 1993 مجموعه مقالات) نوشته شده توسط «Egon Börger – Dean Rosenzweig (auth.) – Georg Gottlob – Alexander Leitsch – Daniele Mundici (eds.)» اطلاعات کتاب منطق محاسباتی و نظریه اثبات: سومین کنفرانس کورت گودل، KGC’93 برنو، جمهوری چک، 24 تا 27 اوت، 1993 مجموعه مقالات موضوع اصلی: ریاضیات محاسباتی نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Egon Börger – Dean Rosenzweig (auth.)…

  • منطق محاسباتی و نظریه اثبات: پنجمین کنفرانس کورت گودل، KGC ’97 وین، اتریش، 25-29 اوت، 1997 مجموعه مقالات

    دانلود کتاب Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC ’97 Vienna, Austria, August 25–29, 1997 Proceedings (به فارسی: منطق محاسباتی و نظریه اثبات: پنجمین کنفرانس کورت گودل، KGC ’97 وین، اتریش، 25-29 اوت، 1997 مجموعه مقالات) نوشته شده توسط «Leo Bachmair (auth.) – Georg Gottlob – Alexander Leitsch – Daniele Mundici (eds.)» اطلاعات کتاب منطق محاسباتی و نظریه اثبات: پنجمین کنفرانس کورت گودل، KGC ’97 وین، اتریش، 25-29 اوت، 1997 مجموعه مقالات موضوع اصلی: ریاضیات محاسباتی نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Leo Bachmair (auth.) – Georg Gottlob – Alexander Leitsch – Daniele Mundici (eds.)…

  • منطق علوم کامپیوتر: هفدهمین کارگاه بین المللی CSL 2003، دوازدهمین کنفرانس سالانه EACSL، 8th Kurt Gödel Colloquium، KGC 2003، وین، اتریش، 25-30 اوت، 2003. مجموعه مقالات

    دانلود کتاب Computer Science Logic: 17th International Workshop CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003. Proceedings (به فارسی: منطق علوم کامپیوتر: هفدهمین کارگاه بین المللی CSL 2003، دوازدهمین کنفرانس سالانه EACSL، 8th Kurt Gödel Colloquium، KGC 2003، وین، اتریش، 25-30 اوت، 2003. مجموعه مقالات) نوشته شده توسط «Parosh Aziz Abdulla – Ahmed Bouajjani – Julien d’Orso (auth.) – Matthias Baaz – Johann A. Makowsky (eds.)» اطلاعات کتاب منطق علوم کامپیوتر: هفدهمین کارگاه بین المللی CSL 2003، دوازدهمین کنفرانس سالانه EACSL، 8th Kurt Gödel Colloquium، KGC 2003، وین، اتریش،…

  • ناتمام بودن – اثبات و پارادوکس کورت گودل

    دانلود کتاب Incompleteness – The Proof and Paradox of Kurt Godel (به فارسی: ناتمام بودن – اثبات و پارادوکس کورت گودل) نوشته شده توسط «Rebecca Goldstein» اطلاعات کتاب ناتمام بودن – اثبات و پارادوکس کورت گودل موضوع اصلی: 1 نوع: کتاب الکترونیکی ناشر: W. W. Norton & Company نویسنده: Rebecca Goldstein زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2005 تعداد صفحه: 294 حجم کتاب: 2 مگابایت کد کتاب: 9780393051698 , 0393051692 نوبت چاپ: 1 توضیحات کتاب ناتمام بودن – اثبات و پارادوکس کورت گودل «گوهری… روایتی فراموش نشدنی از یکی از لحظات بزرگ تاریخ…

  • همایش تئوری اثبات ISILC. تقدیم به کرت شوته به مناسبت تولد 65 سالگی او، کیل، 1974

    دانلود کتاب ISILC Proof Theory Symposion. Dedicated to Kurt Schutte on the occasion of his 65th birthday, Kiel, 1974 (به فارسی: همایش تئوری اثبات ISILC. تقدیم به کرت شوته به مناسبت تولد 65 سالگی او، کیل، 1974) نوشته شده توسط «J. Diller – G.H. Müller» اطلاعات کتاب همایش تئوری اثبات ISILC. تقدیم به کرت شوته به مناسبت تولد 65 سالگی او، کیل، 1974 موضوع اصلی: سخنرانی ها نوع: کتاب الکترونیکی ناشر: Springer نویسنده: J. Diller – G.H. Müller زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1976 تعداد صفحه: 390 حجم کتاب: 3 مگابایت کد…

  • منطق محاسباتی و نظریه اثبات: پنجمین کنفرانس کورت گودل، KGC ’97 وین، اتریش، 25-29 اوت، 1997 مجموعه مقالات

    دانلود کتاب Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC ’97 Vienna, Austria, August 25–29, 1997 Proceedings (به فارسی: منطق محاسباتی و نظریه اثبات: پنجمین کنفرانس کورت گودل، KGC ’97 وین، اتریش، 25-29 اوت، 1997 مجموعه مقالات) نوشته شده توسط «Leo Bachmair (auth.) – Georg Gottlob – Alexander Leitsch – Daniele Mundici (eds.)» اطلاعات کتاب منطق محاسباتی و نظریه اثبات: پنجمین کنفرانس کورت گودل، KGC ’97 وین، اتریش، 25-29 اوت، 1997 مجموعه مقالات موضوع اصلی: ریاضیات محاسباتی نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Leo Bachmair (auth.) – Georg Gottlob – Alexander Leitsch – Daniele Mundici (eds.)…

  • منطق علوم کامپیوتر: هفدهمین کارگاه بین المللی CSL 2003، دوازدهمین کنفرانس سالانه EACSL، 8th Kurt Gödel Colloquium، KGC 2003، وین، اتریش، 25-30 اوت، 2003. مجموعه مقالات

    دانلود کتاب Computer Science Logic: 17th International Workshop CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003. Proceedings (به فارسی: منطق علوم کامپیوتر: هفدهمین کارگاه بین المللی CSL 2003، دوازدهمین کنفرانس سالانه EACSL، 8th Kurt Gödel Colloquium، KGC 2003، وین، اتریش، 25-30 اوت، 2003. مجموعه مقالات) نوشته شده توسط «Parosh Aziz Abdulla – Ahmed Bouajjani – Julien d’Orso (auth.) – Matthias Baaz – Johann A. Makowsky (eds.)» اطلاعات کتاب منطق علوم کامپیوتر: هفدهمین کارگاه بین المللی CSL 2003، دوازدهمین کنفرانس سالانه EACSL، 8th Kurt Gödel Colloquium، KGC 2003، وین، اتریش،…

  • دوراهی های منطقی: زندگی و کار کورت گودل

    دانلود کتاب Logical dilemmas: The life and work of Kurt Goedel (به فارسی: دوراهی های منطقی: زندگی و کار کورت گودل) نوشته شده توسط «Dawson J.W.» اطلاعات کتاب دوراهی های منطقی: زندگی و کار کورت گودل موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: AK Peters نویسنده: Dawson J.W. زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 2005 تعداد صفحه: 376 حجم کتاب: 6 مگابایت دانلود کتاب «دوراهی های منطقی: زندگی و کار کورت گودل»

  • دوراهی های منطقی زندگی و کار کورت گودل

    دانلود کتاب Logical dilemmas. The life and work of Kurt Goedel (به فارسی: دوراهی های منطقی زندگی و کار کورت گودل) نوشته شده توسط «Dawson J.W.» اطلاعات کتاب دوراهی های منطقی زندگی و کار کورت گودل موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: AK Peters نویسنده: Dawson J.W. زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 2005 تعداد صفحه: 376 حجم کتاب: 9 مگابایت دانلود کتاب «دوراهی های منطقی زندگی و کار کورت گودل»

  • کورت وونگات: آخرین مصاحبه و گفتگوهای دیگر

    دانلود کتاب Kurt Vonnegut: The Last Interview And Other Conversations (به فارسی: کورت وونگات: آخرین مصاحبه و گفتگوهای دیگر) نوشته شده توسط «Kurt Vonnegut – Tom McCartan» اطلاعات کتاب کورت وونگات: آخرین مصاحبه و گفتگوهای دیگر موضوع اصلی: داستان نوع: کتاب الکترونیکی ناشر: Melville House نویسنده: Kurt Vonnegut – Tom McCartan زبان: english فرمت کتاب: EPUB (قابل تبدیل به سایر فرمت ها) سال انتشار: 2011 حجم فایل: 1.92 مگابایت کد کتاب: 1612190901 , 9781612190952 توضیحات کتاب کورت وونگات: آخرین مصاحبه و گفتگوهای دیگر با انتشار کارآگاهان وحشی اثر روبرتو بولانیو در سال 1998، روزنامه‌نگار مونیکا ماریستین نویسنده‌ای را کشف کرد…

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