دانلود کتاب Computer Science Logic: 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings
by Frédéric Blanqui
|
عنوان فارسی: علوم کامپیوتر منطق: 22 کارگاه آموزشی بین المللی ، CSL 2008، 17 کنفرانس سالانه EACSL ، Bertinoro ، ایتالیا، 16-19 سپتامبر ، 2008. مجموعه مقالات |