منطق برنامه نویسی، هوش مصنوعی و استدلال: 9th Conference of International، LPAR 2002 Tbilisi، Georgia، October 14-18، 2002 مقالات
Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002 Tbilisi, Georgia, October 14–18, 2002 Proceedings
نویسنده: M. Alpuente, S. Escobar, B. Gramlich (auth.), Matthias Baaz, Andrei Voronkov (eds.)
ناشر: Springer-Verlag Berlin Heidelberg
سال انتشار: 2002
تعداد صفحات: 475
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 5 مگابایت