دانلود کتاب Computer Science Logic: 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings
by Jacques Duparc
|
عنوان فارسی: علوم کامپیوتر منطق: 21 کارگاه آموزشی بین المللی، CSL 2007، 16 کنفرانس سالانه EACSL، لوزان، سوئیس، سپتامبر 11-15، 2007، مجموعه مقالات |