csl99

منطق علوم کامپیوتر: سیزدهمین کارگاه بین المللی، هشتمین کنفرانس سالانه CSL’99 EACSL مادرید، اسپانیا، 20 تا 25 سپتامبر 1999 مجموعه مقالات

دانلود کتاب Computer Science Logic: 13th International Workshop, CSL’99 8th Annual Conference of the EACSL Madrid, Spain, September 20–25, 1999 Proceedings (به فارسی: منطق علوم کامپیوتر: سیزدهمین کارگاه بین المللی، هشتمین کنفرانس سالانه CSL’99 EACSL مادرید، اسپانیا، 20 تا 25 سپتامبر 1999 مجموعه مقالات) نوشته شده توسط «Victor Vianu (auth.) – Jörg Flum – Mario Rodriguez-Artalejo (eds.)» اطلاعات کتاب منطق علوم کامپیوتر: سیزدهمین کارگاه بین المللی، هشتمین کنفرانس سالانه CSL’99 EACSL مادرید، اسپانیا، 20 تا 25 سپتامبر 1999 مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Victor Vianu (auth.) – Jörg Flum – Mario Rodriguez-Artalejo…