ترجمه فارسی توضیحات (ترجمه ماشینی)
منطق برای برنامه نویسی، هوش مصنوعی و استدلال: سیزدهمین کنفرانس بین المللی، LPAR 2006، پنوم پن، کامبوج، 13-17 نوامبر 2006،
این کتاب مجموعه مقالات داوری سیزدهمین کنفرانس بین المللی منطق برای برنامه نویسی، هوش مصنوعی و استدلال، LPAR 2006 است که در نوامبر 2006 در پنوم پن، کامبوج برگزار شد.
38 مقاله کامل بازبینی شده ارائه شده همراه با 1 سخنرانی دعوت شده به دقت بررسی و از بین 96 مورد ارسالی انتخاب شد. این مقالات به تمام مسائل جاری در برنامه‌نویسی منطقی، دستکاری برنامه‌های مبتنی بر منطق، روش رسمی، استدلال خودکار و انواع مختلف منطق‌های هوش مصنوعی می‌پردازند.
This book constitutes the refereed proceedings of the 13th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2006, held in Phnom Penh, Cambodia in November 2006.
The 38 revised full papers presented together with 1 invited talk were carefully reviewed and selected from 96 submissions. The papers address all current issues in logic programming, logic-based program manipulation, formal method, automated reasoning, and various kinds of AI logics.
نقد و بررسی‌ها
هیچ دیدگاهی برای این محصول نوشته نشده است.