دانلود کتاب Logic Colloquium’ 96: Proceedings of the Colloquium held in San Sebastián, Spain, July 9–15, 1996 (به فارسی: Logic Colloquium’ 96: Proceedings of Colloquium برگزار شده در سن سباستین، اسپانیا، 9 تا 15 ژوئیه، 1996) نوشته شده توسط «Jesus M. Larrazabal – Daniel Lascar – Grigori Mints»
اطلاعات کتاب Logic Colloquium’ 96: Proceedings of Colloquium برگزار شده در سن سباستین، اسپانیا، 9 تا 15 ژوئیه، 1996
موضوع اصلی: منطق
نوع: کتاب الکترونیکی
ناشر: Springer
نویسنده: Jesus M. Larrazabal – Daniel Lascar – Grigori Mints
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1998
تعداد صفحه: 276
حجم کتاب: 2 مگابایت
کد کتاب: 9783540646686 , 354064668X
توضیحات کتاب Logic Colloquium’ 96: Proceedings of Colloquium برگزار شده در سن سباستین، اسپانیا، 9 تا 15 ژوئیه، 1996
مجموعه مقالات کولوکیوم در سن سباستین، اسپانیا در تاریخ 9-15 ژوئیه 1996 با تمرکز بر مدل، اثبات، بازگشت، و نظریه های پیچیدگی، مدل های حساب، منطق برای هوش مصنوعی، معناشناسی رسمی زبان طبیعی، و فلسفه منطق معاصر برگزار شد.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.