kgc

  • منطق محاسباتی و نظریه اثبات: پنجمین کنفرانس کورت گودل، 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، وین، اتریش،…

  • منطق محاسباتی و نظریه اثبات: پنجمین کنفرانس کورت گودل، 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، وین، اتریش،…

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