دانلود کتاب 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 (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1999
تعداد صفحه: 410
حجم کتاب: 22 مگابایت
کد کتاب: 9783540664925 , 3540664920
نوبت چاپ: 1
توضیحات کتاب منطق برای برنامه نویسی و استدلال خودکار: ششمین کنفرانس بین المللی، LPAR’99، تفلیس، گرجستان، 6-10 سپتامبر 1999: مجموعه مقالات
مجموعه مقالات ششمین کنفرانس بین المللی منطق برای برنامه نویسی و استدلال خودکار که در تفلیس، گرجستان، 6 تا 10 سپتامبر 1999 برگزار شد. جلد نرم.