دانلود کتاب Computer Science Logic: 17th International Workshop CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003. Proceedings
by Parosh Aziz Abdulla
|
عنوان فارسی: علوم کامپیوتر منطق: 17 بین المللی کارگاه CSL 2003، 12th کنفرانس سالانه EACSL، 8 کورت گودل ردهها، KGC 2003، وین، اتریش، 25-30 اوت، 2003. مجموعه مقالات |