دانلود کتاب Computer Science Logic: 10th International Workshop, CSL '96 Annual Conference of the EACSL Utrecht, The Netherlands, September 21–27, 1996 Selected Papers
by Ofer Arieli
|
عنوان فارسی: منطق علوم کامپیوتر: دهمین کارگاه بین المللی، کنفرانس سالانه CSL '96 EACSL Utrecht، هلند، 21 تا 27 سپتامبر 1996 مقالات برگزیده |