دانلود کتاب Computer Science Logic: 6th Workshop, CSL '92 San Miniato, Italy, September 28 – October 2, 1992 Selected Papers
by Stål Aanderaa (auth.)
|
عنوان فارسی: منطق علوم کامپیوتر: ششمین کارگاه ، CSL '92 سان مینیاتو ، ایتالیا ، 28 سپتامبر - 2 اکتبر 1992 مقالات منتخب |