دانلود کتاب Computer Science Logic: 11th International Workshop, CSL '97 Annual Conference of the EACSL Aarhus, Denmark, August 23–29, 1997 Selected Papers
by Samson Abramsky
|
عنوان فارسی: منطق علوم کامپیوتر: یازدهمین کارگاه بین المللی، کنفرانس سالانه CSL '97 EACSL Aarhus، دانمارک، 23 تا 29 اوت 1997 مقالات برگزیده |