دانلود کتاب 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: مجموعه مقالات |