دانلود کتاب Computer Science Logic: 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings
by Andreas Blass
|
عنوان فارسی: علوم کامپیوتر منطق: 14 InternationalWorkshop ، CSL 2000 کنفرانس سالانه EACSL فیشباشاو ، آلمان، 21 اوت - 26 ، 2000 مقالات |