دانلود کتاب Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004. Proceedings
by Albert Atserias (auth.)
|
عنوان فارسی: علوم کامپیوتر منطق: 18 کارگاه آموزشی بین المللی، CSL 2004، 13TH کنفرانس سالانه EACSL، Karpacz را، لهستان، 20-24 سپتامبر، 2004. مجموعه مقالات |