دانلود کتاب Logic for programming and automated reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999: proceedings
by Harald Ganzinger
|
عنوان فارسی: منطق برای برنامه نویسی و استدلال خودکار: ششمین کنفرانس بین المللی ، LPAR'99 ، تفلیس ، جورجیا ، 6-10 سپتامبر 1999: مجموعه مقالات |