lpar

منطق برای برنامه نویسی، هوش مصنوعی و استدلال: چهاردهمین کنفرانس بین المللی، LPAR 2007، ایروان، ارمنستان، 15-19 اکتبر 2007. مجموعه مقالات

دانلود کتاب Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings (به فارسی: منطق برای برنامه نویسی، هوش مصنوعی و استدلال: چهاردهمین کنفرانس بین المللی، LPAR 2007، ایروان، ارمنستان، 15-19 اکتبر 2007. مجموعه مقالات) نوشته شده توسط «Johann A. Makowsky (auth.) – Nachum Dershowitz – Andrei Voronkov (eds.)» اطلاعات کتاب منطق برای برنامه نویسی، هوش مصنوعی و استدلال: چهاردهمین کنفرانس بین المللی، LPAR 2007، ایروان، ارمنستان، 15-19 اکتبر 2007. مجموعه مقالات موضوع اصلی: برنامه نويسي نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Johann A. Makowsky (auth.) – Nachum Dershowitz –…