lpar99

منطق برای برنامه نویسی و استدلال خودکار: ششمین کنفرانس بین المللی، LPAR’99، تفلیس، گرجستان، 6-10 سپتامبر 1999: مجموعه مقالات

دانلود کتاب Logic for programming and automated reasoning: 6th International Conference, LPAR’99, Tbilisi, Georgia, September 6-10, 1999: proceedings (به فارسی: منطق برای برنامه نویسی و استدلال خودکار: ششمین کنفرانس بین المللی، LPAR’99، تفلیس، گرجستان، 6-10 سپتامبر 1999: مجموعه مقالات) نوشته شده توسط «Harald Ganzinger – David McAllester – Andrei Voronkov» اطلاعات کتاب منطق برای برنامه نویسی و استدلال خودکار: ششمین کنفرانس بین المللی، LPAR’99، تفلیس، گرجستان، 6-10 سپتامبر 1999: مجموعه مقالات موضوع اصلی: کنفرانس ها و سمپوزیوم های بین المللی نوع: کتاب الکترونیکی ناشر: Springer نویسنده: Harald Ganzinger – David McAllester – Andrei Voronkov زبان: English فرمت کتاب: pdf (قابل…