دانلود کتاب 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

زبان : English

نویسندگان : Victor Vianu (auth.), Jörg Flum, Mario Rodriguez-Artalejo (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 1999

ISBN (شابک) : 3540665366, 9783540665366

ویرایش : [1 ed.]

سری : Lecture Notes in Computer Science 1683

تعداد صفحات : 588[590]

حجم : 4 مگابایت

فرمت کتاب : pdf

قیمت : 36000 تومان