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