tbillc

منطق، زبان و محاسبات: هفتمین سمپوزیوم بین المللی تفلیس در منطق، زبان و محاسبات، TbiLLC 2007، تفلیس، گرجستان، 1-5 اکتبر 2007. مقالات منتخب اصلاح شده

دانلود کتاب Logic, Language, and Computation: 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers (به فارسی: منطق، زبان و محاسبات: هفتمین سمپوزیوم بین المللی تفلیس در منطق، زبان و محاسبات، TbiLLC 2007، تفلیس، گرجستان، 1-5 اکتبر 2007. مقالات منتخب اصلاح شده) نوشته شده توسط «Paul Meurer (auth.) – Peter Bosch – David Gabelaia – Jérôme Lang (eds.)» اطلاعات کتاب منطق، زبان و محاسبات: هفتمین سمپوزیوم بین المللی تفلیس در منطق، زبان و محاسبات، TbiLLC 2007، تفلیس، گرجستان، 1-5 اکتبر 2007. مقالات منتخب اصلاح شده موضوع اصلی: ریاضیات محاسباتی نوع:…