خرید و دانلود نسخه کامل کتاب Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003. Proceedings

منطق برای برنامه نویسی، هوش مصنوعی و استدلال: دهمین کنفرانس بین المللی، LPAR 2003، آلماتی، قزاقستان، 22-26 سپتامبر 2003. مجموعه مقالات

Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003. Proceedings

نویسنده: Franz Baader, Jan Hladik, Carsten Lutz (auth.), Moshe Y. Vardi, Andrei Voronkov (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2003

تعداد صفحات: 436 [448]

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 4 مگابایت