csl98

منطق علوم کامپیوتر: دوازدهمین کارگاه بین المللی، CSL’98، کنفرانس سالانه EACSL، برنو، جمهوری چک، 24-28 اوت 1998. مجموعه مقالات

دانلود کتاب Computer Science Logic: 12th International Workshop, CSL’98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998. Proceedings (به فارسی: منطق علوم کامپیوتر: دوازدهمین کارگاه بین المللی، CSL’98، کنفرانس سالانه EACSL، برنو، جمهوری چک، 24-28 اوت 1998. مجموعه مقالات) نوشته شده توسط «Petr Hájek (auth.) – Georg Gottlob – Etienne Grandjean – Katrin Seyr (eds.)» اطلاعات کتاب منطق علوم کامپیوتر: دوازدهمین کارگاه بین المللی، CSL’98، کنفرانس سالانه EACSL، برنو، جمهوری چک، 24-28 اوت 1998. مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Petr Hájek (auth.) – Georg Gottlob – Etienne Grandjean –…