دانلود کتاب Computer Science Logic: 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers
by Matthias Baaz
|
عنوان فارسی: منطق علوم کامپیوتر: نهمین کارگاه بین المللی، کنفرانس سالانه CSL '95 EACSL Paderborn، آلمان، 22 تا 29 سپتامبر 1995 مقالات برگزیده |